| Title | Especificación formal y verificación de requisitos de Seguridad |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | I. Agudo, J. Lopez, and J. J. Ortega |
| Conference Name | VIII Reunión Española sobre Criptología y Seguridad de la Información (VIII RECSI) |
| Pagination | 225-235 |
| Date Published | Sep 2004 |
| Conference Location | Madrid (Spain) |
| ISBN Number | 84-7978-650-7 |
| Citation Key | 1735 |