Formal reasoning and the hacker way (keynote)

Open Webpage

Peter W. O'Hearn

Published: 01 Jan 2020, Last Modified: 16 May 2025SOAP@PLDI 2020EveryoneRevisionsBibTeXCC BY-SA 4.0