BI as an Assertion Language for Mutable Data Structures

Samin Ishtiaq and Peter O'Hearn

Details

Publication typeInproceedings
Published inPOPL
> Publications > BI as an Assertion Language for Mutable Data Structures