Title: Semantik und Programmverifikation
Subjects: Programmverifikation, Formale Semantik, Funktionale Programmiersprache