Overview
- Home
- Team
- Publications
- Tools
- Projects
- Teaching
- Formale Systeme II: Anwendung
- Fachdidaktik 3
- Praxis der Forschung
- Proseminar Form. Methoden und ML
- Seminar Anw. Formaler Methoden
- Seminar Fairness u. Diskrim.-Freiheit
- Praxis d. Softwareentwicklung – DAQ
- Praxis d. Softwareentwicklung – SQL
- Research Seminar
- Archive
- Theses
- Media and News
