Biblio

Export results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is E and Author is Juan J. Ortega  [Clear All Filters]
I. Agudo, J. Lopez, and J. J. Ortega, "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.