Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
[S.l. : s.n.]
Lect. Notes Comp. Sci. ; 4111
External research report
Display more detailsDisplay less details
Security of Systems
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.