Toby Cathcart Burn : Publications

Journal papers

• [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