Funktionale Programmierung und Verifikation (IN0003)