Formal Verification of Object-Oriented Software

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