Modular Specification and Verification of Object-Oriented Programs (1991)

by G Leavens
Venue:IEEE Software