![Markus Müller-Olm](https://popl24.sigplan.org/getProfileImage/markusmullerolm/56f190dd-a1c8-446d-b5ea-0ac4db9310da/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 2024-profile
View general profile
View general profile