Markus RoggenbachBooksFormal Methods - Fun for EverybodyApplicable Formal Methods for Safe Industrial ProductsOn the Construction of Engineering HandbooksRecent Trends in Algebraic Development TechniquesFormal Methods for Software EngineeringAuthor data: Open Library