conf.researchr.org / Markus Müller-Olm
![Markus Müller-Olm](https://conf.researchr.org/getProfileImage/markusmullerolm/be5431f1-8e8a-41e5-9191-aa62286ddcd6/small.jpg?1711687953000)
Registered user since Wed 23 Jun 2021
Name:Markus Müller-Olm
Country:Germany
Affiliation:University of Münster
Research interests:Concurrency Theory, Model Checking, Program Logics, Program Analysis, Verification
Contributions