Title: Specification and verification of object oriented software components
Subjects: Programmverifikation, Komponente <Software>, Korrektheit, Formale Spezifikationstechnik, Objektorientierte Programmiersprache