Specification and verification challenges for sequential object-oriented programs (0)

by Gary T Leavens, K Rustan M Leino, Peter Müller
Venue:Form. Asp. Comput