Volume 54, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 54, Issue 3

March 2015

Filter by

Volume:

Sort by

Date published:

New to old Old to new

1 article in this issue

Symbolic Execution Proofs for Higher Order Store Programs
Bernhard Reus
Nathaniel Charlton
Ben Horsfall
OriginalPaper 24 December 2014 Pages: 199 - 284