The Next 700 Separation Logics

In  Verified Software: Theories, Tools, Experiments

Publisher  Springer Berlin / Heidelberg
All rights reserved Springer 2010.

Details

TypeInproceedings
URLhttp://dx.doi.org/10.1007/978-3-642-15057-9_12
Pages169-182
Volume6217
SeriesLecture Notes in Computer Science
> Publications > The Next 700 Separation Logics