PUBLICACIÓN
Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas
José Luis Herrero Agustín, María Soledad Sánchez Alonso
2001 JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)
ISBN
8469962752
AUTORES DE LA UEX