Winter Term 07/08
In the winter term 2007/2008 we offer the following courses:
- Foundations of Computing (canonic lecture with exercises, 3IV)
- Seminar: Probabilistische Modelle
- Seminar: Formale Spezifikation
- Lab: Modellierungspraktikum
- Graduate Seminar "Formale Methoden"