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
Libro:
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.

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

ISBN: 84-699-0956-8

Año de publicación: 1999

Páginas: 169-170

Tipo: Capítulo de Libro

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet