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.
Modify or remove your filters and try again. VIII Reunión Española sobre Criptología y Seguridad de la Información (VIII RECSI), pp. 225-235, Sep 2004.