Dominik Klumpp

Registered user since Tue 5 Apr 2022

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

Contributions

PLDI 2022 Sound Sequentialization for Concurrent Program Verification
Show activities from other conferences

Using general profile