BI as an Assertion Language for Mutable Data Structures

IshtiaqOHearnPOPL01.pdf
PDF file

In  POPL

Details

TypeInproceedings
> Publications > BI as an Assertion Language for Mutable Data Structures