Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
Peter Müller
Details
OL Work ID
OL27347054W
Find this book
Open Library