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

  1. José García Fanjul
  2. Pablo Javier Tuya González
  3. José Antonio Corrales González
Liburua:
IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99)
  1. Botella i López, Pere
  2. Hernández Núñez, Juan
  3. Saltor, F.

Argitaletxea: Grupo de Paralelismo, Departamento de Informática ; Universidad de Extremadura

ISBN: 84-699-0956-8

Argitalpen urtea: 1999

Orrialdeak: 169-170

Mota: Liburuko kapitulua

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet