Verificación Formal del Subsistema de
Identificación de Clientes en una Tienda Virtual
José García-Fanjul, Javier Tuya, José A. Corrales
En: IV Jornadas de Ingeniería del
Software y Bases de Datos, Caceres, pp. 169-170, Nov. 1999
Resumen (ps.zip)
Index - Testing
- Personal Page