Markus Müller-Olm

Books

Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2008