Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la F.L.C

• Autores: Esther Suárez Calvo, Pablo Javier Tuya González
• Localización: Actas de las V Jornadas de Ingeniería del Software y Bases de Datos: JISBD 2000 / coord. por Carlos Delgado Kloos, Esperanza Marcos Martínez, José M. Marques, 2000, ISBN 84-8448-065-8, págs. 21-22
• Idioma: español
• Texto completo no disponible (Saber más ...)