Back to Search
Start Over
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
- Source :
- ~~~~~~~~~~
- Publication Year :
- 2006
-
Abstract
- Contains fulltext : 36070.pdf (author's version ) (Open Access)
Details
- Database :
- OAIster
- Journal :
- ~~~~~~~~~~
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1284005731
- Document Type :
- Electronic Resource