Markus Roggenbach

No bio available. Add one in Open Library.

Books by Markus Roggenbach (50 max)

+ shelf+ list

Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

2017

Phillip James, Markus Roggenbach

+ shelf+ list

Formal Methods for Software Engineering Languages, Methods, Application Domains

2020

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

+ shelf+ list

On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain

2020

Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

+ shelf+ list

Formal Methods - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Proceedings

2021

Antonio Cerone, Markus Roggenbach

+ shelf+ list

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2023

Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach