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