BI as an Assertion Language for Mutable Data Structures

Open Webpage

Samin S. Ishtiaq, Peter W. O'Hearn

Published: 2001, Last Modified: 16 May 2025POPL 2001EveryoneRevisionsBibTeXCC BY-SA 4.0