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 ...)