Markus Roggenbach

Books
Applicable Formal Methods for Safe Industrial Products Applicable Formal Methods for Safe Industrial Products
Applicable Formal Methods for Safe Industrial Products
2023
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2021
Formal Methods – Fun for Everybody Formal Methods – Fun for Everybody
Formal Methods – Fun for Everybody
2021
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2017