Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. - Ester Suárez-Calvo; Javier Tuya (JISBD, 2000)