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

by P Müller
Venue:LNCS