Markus Roggenbach

Applicable Formal Methods for Safe Industrial Products

2023

Formal Methods - Fun for Every

Formal Methods - Fun for Everybody

2021

Formal Methods for Software En

Formal Methods for Software Engineering

2020

On the Construction of Engineering Handbooks

2020