Practical Courses

• Software Engineering (TU KL, CS, WS 2008/2009, Lecturer: Formal Industrial Methods)

• Formal Specification and Verification Techniques (TU KL, CS, WS 2004/2005)

• Specification and Verification (TU KL, CS, SS 2001)

• Efficient Algorithms (TU KL, CS, SS 1998)