Peter Müller;Arnd Poetzsch-Heffter
-;-
Modular specification and verification of object-oriented programs