PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States
Heike Wehrheim

Not registered as user yet

Name: Heike Wehrheim

Country: Germany

Affiliation: Paderborn University

Personal website: https://www.uni-paderborn.de/en/person/573/

Contributions

PPoPP 2019Author of Verifying C11 Programs Operationally within the Main Conference-track
Show activities from other conferences

PPoPP 2019-profile
View general profile