José García-Fanjul, Javier Tuya, José A. Corrales. Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. In Pere Botella, Juan Hernández, Fèlix Saltor, editors, IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999. pages 169-170, Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, 1999.
Abstract is missing.