Dominik Klumpp

Registered user since Tue 5 Apr 2022

Name:Dominik Klumpp
Country:Germany
Affiliation:University of Freiburg

Contributions

POPL 2023 Stratified Commutativity in Verification Algorithms for Concurrent Programs
Show activities from other conferences

Using general profile