PUBLICACIÓN

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

ACCEDER A LA PUBLICACIÓN: Dialnet

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