Non abbiamo ancora una biografia di Markus Roggenbach.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Recent Trends in Algebraic Development Techniques
2021
Formal Methods for Software Engineering
2023
On the Construction of Engineering Handbooks
2020
Formal Methods - Fun for Everybody
Applicable Formal Methods for Safe Industrial Products
Otium
