Items where Author / Artist / Editor is "O’Hearn, Peter W."
 | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 1.
Gorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and O’Hearn, Peter W.
(2011)
The complexity of abduction for separated heap abstractions.
Static Analysis.
In: SAS 2011.
.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-642-23702-7_7)
