JOSE
GARCIA FANJUL
Profesor Contratado Doctor
JOSE ANTONIO
CORRALES GONZALEZ
Profesor Titular de Universidad
Publicaciones en las que colabora con JOSE ANTONIO CORRALES GONZALEZ (1)
1999
-
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