Toby Cathcart Burn : Publications
-
[1]
Higher−order Constrained Horn Clauses for Verification
Cathcart Burn‚ Toby‚ C.−H. Luke Ong and Steven J. Ramsay
In Proc. ACM Program. Lang.. Vol. 2. No. POPL. Pages 11:1–11:28. December, 2017.
Details about Higher−order Constrained Horn Clauses for Verification | BibTeX data for Higher−order Constrained Horn Clauses for Verification | DOI (10.1145/3158099) | Link to Higher−order Constrained Horn Clauses for Verification