Search Results
-
Obtención automática del entorno en la verificación modular de sistemas reactivos [2003]
- Category:
- Tesis
- Authors:
- Claudio A. de la Riva Álvarez
- Directors:
- Pablo Javier Tuya González
- Departament:
- Informática, Departamento de
- Date:
- 01 of January of 2003