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

by P Müller