POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Markus Müller-Olm

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

Show activities from other conferences

POPL 2024-profile
View general profile