Markus Roggenbach's Lectures

• Algebraic Specification at University of Bremen
• Algebraic Specification at University of Cape Town
• Programming Languages at University of Bremen
• Prosecco - A Student Project at University of Bremen
• Techniques of Correct Software Development at University of Bremen