Willkommen auf der Heimatseite der Lehrveranstaltung "Korrekte Software: Grundlagen und Methoden" im Sommersemester 2018!

Mehr zum Inhalt der Veranstaltung findet ihr hier, oder benutzt das Menü oben zum navigieren.

Termine

Die Termine sind:

Die Übung am Do, 14.06.2018, fällt aus!

VAK und weitere Daten