Verificación Formal de Sistema de Control de Acceso a Aplicaciones Corporativas de la F.L.C.
Esther Suárez-Calvo, Javier Tuya
En:
V Jornadas de Ingeniería del Software y Bases de Datos
, Valladolid, Noviembre 2000
Index
-
Testing
-
Personal Page