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

Ano de publicación: 1999

Páxinas: 169-170

Tipo: Capítulo de libro

DIALNET GOOGLE SCHOLAR
Fonte de datos: Dialnet