Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rebecca Ghidini
conf.researchr.org general profile
SPLASH 2024 profile
Not registered as user
Name:
Rebecca Ghidini
Country:
Germany
Affiliation:
TU Munich
Contributions
2024
NSAD
Author of C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For” within the NSAD 2024-track
Share
x
Sun 22 Dec 03:22