Items for Horsfall, Ben

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Article

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Book Section

Charlton, Nathaniel, Horsfall, Ben and Reus, Bernhard (2012) Crowfoot: a verifier for higher-order store programs. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 7148 . Springer, pp. 136-151. ISBN 978-3-642-27940-9

Thesis

Horsfall, Benjamin (2014) Automated reasoning for reflective programs. Doctoral thesis (PhD), University of Sussex.

This list was generated on Tue Oct 17 18:52:44 2017 BST.