Markus Roggenbach

• Formal Methods for Software Engineering
• On the Construction of Engineering Handbooks
• Recent Trends in Algebraic Development Techniques
• Applicable Formal Methods for Safe Industrial Products
• Formal Methods - Fun for Everybody