Selected publications
Article
Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433
Book Section
Charlton, Nathaniel, Horsfall, Ben and Reus, Bernhard (2012) 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) Doctoral thesis (PhD), 麻豆传媒社区入口.