Nicola Anna Thoben
Department of Computing Science (» Postal address)
Lectures
Summer term 2024
2.01.400
Theoretische Informatik: Logik
2.01.801-B
Forschungsseminar Formale Methoden
2.01.AM-40
Oberseminar Formale Methoden