Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la E.L.C
- Suárez-Calvo, Esther
- Tuya, Javier
- Delgado, Carlos (coord.)
- Marcos Martínez, Esperanza (coord.)
- Marqués, José M. (coord.)
Verlag: Departamento de Informática ; Universidad de Valladolid
ISBN: 84-8448-065-8
Datum der Publikation: 2000
Seiten: 21-22
Art: Buch-Kapitel