Title: Formal Verification of Object-Oriented Software
Subjects: Logic design, Information Systems, Computer science, Software engineering, Computer software, verification, Object-oriented methods (computer science), System design, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs