A Primer on Separation Logic (and Automatic Program Verification and Analysis)
The work
| Authors | Peter W. O'Hearn |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2012 |
| Citekey | ohearn2012primer |
Where it appeared
| Published in | Software Safety and Security: Tools for Analysis and Verification |
|---|---|
| Publisher | IOS Press |
| Pages | 286--318 |
Identifiers
| DOI | 10.3233/978-1-61499-028-4-286 |
|---|---|
| OpenAlex | W2396349698 |
Access
| Landing page | https://dblp.uni-trier.de/db/series/natosec/natosec33.html#OHearn12 |
|---|
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-09 15:04 UTC |
Filed under
Cite it as
@incollection{ohearn2012primer,
title = {A Primer on Separation Logic (and Automatic Program Verification and Analysis)},
author = {Peter W. O'Hearn},
year = {2012},
booktitle = {Software Safety and Security: Tools for Analysis and Verification},
publisher = {IOS Press},
pages = {286--318},
doi = {10.3233/978-1-61499-028-4-286},
}
This record lives at https://refs.drheap.org/ohearn2012primer/ and will keep doing so.