Skip to content
cs-conference-ranking.org

Formal reasoning and the hacker way (keynote).

Peter W. O'Hearn

VenueA*PLDI
Year2020
ProceedingsSOAP@PLDI
DBLP recordconf/pldi/OHearn20 ↗

Browse the full PLDI paper archive.