Search Results
-
Automatic generation of assumptions for modular verification of software specifications [2006]
- Category:
- Artículos
- Authors:
- Pablo Javier Tuya González , Claudio A. de la Riva Álvarez
- Date:
- 01 of January of 2006
- It Is a Part of:
- Journal of Systems and Software, 79(9)