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

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

ISBN: 84-699-0956-8

Année de publication: 1999

Pages: 169-170

Type: Chapitre d'ouvrage

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet