Export results:
Author [ Title] Type Year Filters: Author is Juan J. Ortega and First Letter Of Title is E [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.