Teaching
Head
Secretary
Teaching
Lectures
Winter term 2021 / 2022
2.01.401a
Übung Grundlagen der Theoretischen Informatik
|
2.01.401b
Übung Grundlagen der Theoretischen Informatik
|
2.01.401c
Übung Grundlagen der Theoretischen Informatik
|
2.01.401d
Übung Grundlagen der Theoretischen Informatik
|
2.01.401f
Übung Grundlagen der Theoretischen Informatik
|
2.01.490
Seminar Invariantengenerierung
|
2.01.801-P
Forschungsseminar Formale Methoden
|
2.01.803
Praktikum Softwareverifikation
|
2.01.803-A
Praktikum Softwareverifikation
|
2.01.803-B
Praktikum Softwareverifikation
|
2.01.AM-P
Oberseminar Formale Methoden
|