Login / Signup
Reuben Rowe
ORCID
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Horn Clauses
Alternating Time Temporal Logic
Cl Pc
Timed Automata
Top Venues
POPL
</>
Publications
</>
James Brotherston
,
Nikos Gorogiannis
,
Max I. Kanovich
,
Reuben Rowe
Model checking for symbolic-heap separation logic with inductive predicates.
POPL
(2016)