Incorrectness logic

Open Webpage

Peter W. O'Hearn

Published: 01 Jan 2020, Last Modified: 16 May 2025Proc. ACM Program. Lang. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0