Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la E.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 ...)