ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / ECOOP 2020 (series) / Heike Wehrheim
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

ECOOP 2020Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track
Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track
Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
SPLASH 2020Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
Show activities from other conferences

Using general profile