Title: Verification of object-oriented software
Subjects: Java (Computer program language), Object-oriented methods (Computer science), Verification, Computer software, Logic design, Artificial intelligence, Computer science, Software engineering, Object-oriented programming (computer science), Objektorientierte Programmierung, Softwarespezifikation, Programmverifikation, Korrektheit, Beweis, Softwareentwicklung, Objektorientierung, Programmierlogik, Formale Methode