Publicaciones en las que colabora con Esther Suárez Calvo (1)

2000

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

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 21-22