Verificación formal del subsistema de identificación de clientes en una tienda virtual

• Autores: José García Fanjul , Pablo Javier Tuya González , José Antonio Corrales González
• Localización: IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) / Pere Botella López (aut.) , Juan Hernández Núñez (aut.) , F. Saltor (aut.), Universidad de Extremadura (aut.), 1999, ISBN 84-699-0956-8, págs. 169-170
• Idioma: español
• Texto completo no disponible (Saber más ...)