The Next 700 Separation Logics
Matthew J. Parkinson
August 2010
In Verified Software: Theories, Tools, Experiments
Publisher Springer Berlin / Heidelberg
All rights reserved Springer 2010.
Details
| Type | Inproceedings |
| URL | http://dx.doi.org/10.1007/978-3-642-15057-9_12 |
| Pages | 169-182 |
| Volume | 6217 |
| Series | Lecture Notes in Computer Science |
Related People
Share
