Publicacións nas que colabora con JOSE ANTONIO CORRALES GONZALEZ (1)

1999

  1. Verificación formal del subsistema de identificación de clientes en una tienda virtual

    IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) (Grupo de Paralelismo, Departamento de Informática), pp. 169-170