Lehrveranstaltungen

Es werden Lehrveranstaltungen im Bereich der Softwareentwicklung, der formalen Methoden und der semantischen Grundlagen angeboten.

Alle Lehrveranstaltungen richten sich an Studenten des Elitestudiengangs "Software engineering".