Items where Author / Artist / Editor is "Rowe, Reuben"
 | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 1.
Brotherston, James, Gorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and Rowe, Reuben
(2016)
Model checking for symbolic-heap separation logic with inductive predicates.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016.
In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA.
ISBN 9781450335492.
ISSN 1523-2867
[Conference or Workshop Item]
(doi:10.1145/2837614.2837621)
