
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
VMCAI 2022 | PC Member in Program Committee within the VMCAI 2022-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile