![Markus Müller-Olm](https://popl22.sigplan.org/getProfileImage/markusmullerolm/1f7f4875-9c10-4599-ad63-27f1c0fb1869/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
POPL 2022-profile
View general profile
View general profile