Verificacion Modular de Sistemas Reactivos con Abstracciones del Entorno
Claudio de la Riva, Javier Tuya, José Ramón de Diego
En:
V Jornadas de Ingeniería del Software y Bases de Datos
, Valladolid, Noviembre 2000
Index
-
Testing
-
Personal Page