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

Ester Suárez-Calvo Javier Tuya Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. 21 2000 conf/jisbd/2000 JISBD db/conf/jisbd/jisbd2000.html#Suarez-CalvoT00