Applicable Formal Methods for Safe Industrial ProductsAnne E. Haxthausen, Wen-ling Huang, Markus Roggenbach · First published 2023Open the Tome
Formal Methods - Fun for EverybodyAntonio Cerone, Markus Roggenbach · First published 2021Open the Tome
Formal Methods for Software EngineeringMarkus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh · First published 2020Open the Tome
On the Construction of Engineering HandbooksStefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach · First published 2020Open the Tome
Recent Trends in Algebraic Development TechniquesPhillip James, Markus Roggenbach · First published 2017Open the Tome
Algebra and Coalgebra in Computer ScienceNeil Harman,Markus Roggenbach,Jos Luis Fiadeiro · First published 2008Open the Tome
