Markus Roggenbach · 5 obras en el catálogoObrasFFormal Methods for Software EngineeringFormal Methods for Software EngineeringOn the Construction of Engineering HandbooksRecent Trends in Algebraic Development TechniquesFFormal Methods - Fun for EverybodyFormal Methods - Fun for EverybodyApplicable Formal Methods for Safe Industrial Products