Marcello M. Bonsangue
Teaching

This year courses

• Program Correctness (PenC) - spring 2009
• Foundations of Computer Science II - fall 2009
• Testing Object-Oriented Systems - fall 2009
• Studenten Seminarium - spring 2009

Old Courses

• Program Correctness (spring 2002, fall 2002, 2004, spring 2005, 2006, 2007, 2008, 2009)
• Foundations of Computer Science II (fall 2006, 2007, 2008, 2009)
• Studenten Seminarium (fall 2008, spring 2009)
• Seminarium on Component based Software Engineering (spring 2003, fall 2003,2004, 2005)
• Semantics of Programming Languages (spring 2001)
• Software Architecture (spring 2001, fall 2001)
• Seminarium Software Architecture (Spring 2000)