PUBLICACIÓN
Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas
Herrero Agustín, José Luis, Sánchez Alonso, María Soledad
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
