Teaching

go next top of page

University of Freiburg

SS 13
Einf├╝hrung in die Informatik
WS 13/14
Computer Supported Modelling and Reasoning
SS 13
Decision Procedures
WS 12/13
Formal Methods for Java
SS 12
Decision Procedures
WS 11/12
Formal Methods for Java
SS 11
Static Checkers for Java and C#
WS 10/11
Informatik III, Theory II
SS 09
Decision Procedures
WS 09/10
Informatik III
SS 09
Seminar: Static Checkers for Java and C#
WS 08/09
Decision Procedures
SS 08
Formal Methods for Java
WS 07/08
Decision Procedures
SS 07
Formal Methods for Java
WS 06/07
Verification
Seminar Software Model Checking
 top of page go back

University of Oldenburg

SS 06
Practical Course Real-time Systems
SS 04
Practical Course Real-time Systems
WS 02/SS 03
Project Group KautS