The Relationship between Separation Logic and Implicit Dynamic Frames

In  ESOP

Details

TypeInproceedings
Pages439-458
> Publications > The Relationship between Separation Logic and Implicit Dynamic Frames