Concurrent incorrectness separation logic

Open Webpage

Azalea Raad, Josh Berdine, Derek Dreyer, Peter W. O'Hearn

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