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