Export results:
Author [ Title] Type Year Filters: First Letter Of Title is E and Author is Juan J. Ortega [Clear All Filters]
"Especificación formal y verificación de requisitos de Seguridad",
VIII Reunión Española sobre Criptología y Seguridad de la Información (VIII RECSI), pp. 225-235, Sep 2004.
VIII Reunión Española sobre Criptología y Seguridad de la Información (VIII RECSI), pp. 225-235, Sep 2004.