Formal Verification of Object-Oriented Software

Management of Computing and Information Systems Logics and Meanings of Programs Object-oriented methods (Computer science) Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Logic design System design Information systems Software engineering Computer science