Winter Term 2023/24
In the winter term of 2023/24 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
