Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas

• Autores: José Luis Herrero Agustín, Marisol Sánchez-Alonso
• Localización: JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.), Óscar Díaz García (ed. lit.), Mario G. Piattini Velthuis (ed. lit.), 2001, ISBN 84-699-6275-2, págs. 189-203
• Idioma: español
• Texto completo no disponible (Saber más ...)