Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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