Publicaciones en las 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