Modular Specification and Verification of Object-Oriented Programs
by Peter Müller
2021-05-28 05:36:30