Items where Author / Artist / Editor is "Rowe, Reuben"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Brotherston, James, Gorogiannis, Nikos, Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA. (doi:10.1145/2837614.2837621)

This list was generated on Sun Oct 20 05:17:18 2019 BST.