☰
Winter Term 2024/25
In the winter term of 2024/25 we offer the following courses:
- Integrated Course: Modellierung, Spezifikation und Semantik
- Integrated Course: Static and Dynamic Program Analysis
- Practical Lab in Teaching: Modellierung, Spezifikation und Semantik
- Graduate Seminar: MAIS
Imprint
Contact
