Title: Modular Specification and Verification of Object-Oriented Programs
Subjects: Development, Object-oriented programming (Computer science), Modular programming, Computer software, Object-oriented programming (computer science), Computer science