Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
The Next 700 Separation Logics

Matthew J. Parkinson

Details

Publication typeInproceedings
Published inVerified Software: Theories, Tools, Experiments
URLhttp://dx.doi.org/10.1007/978-3-642-15057-9_12
Pages169-182
Volume6217
SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
> Publications > The Next 700 Separation Logics