Modular Specification and Verification of Object-Oriented Programs

Bok av Peter Müller