Lectures

Courses

Wintersemester/Winterterm 2018/2019
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Seminar: Symbolic Execution Seminar Webseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Sommersemester/Summerterm 2018
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Modeling and Analysis of actor-based Software Systems (engl.) Seminar Website
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende