小蓝视频

Photo of Ben HorsfallBen Horsfall

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), 小蓝视频.