Resultados de la búsqueda
-
Automatic generation of assumptions for modular verification of software specifications [2006]
- Categoría:
- Artículos
- Autores:
- Pablo Javier Tuya González , Claudio A. de la Riva Álvarez
- Fecha:
- 01 de Enero de 2006
- Es parte de:
- Journal of Systems and Software, 79(9)