Especificación formal y verificación de requisitos de seguridad

• Autores: Isaac Agudo , Javier López , Juan José Ortega Daza
• Localización: Avances en criptología y seguridad de la información / Arturo Ribagorda Garnacho (dir.) , Benjamín Álvarez (dir.) , 2004, ISBN 84-7978-650-7, págs. 225-234
• Idioma: español
• Texto completo no disponible (Saber más ...)