1. Symbolic Execution Proofs for Higher Order Store Programs

   • Bernhard Reus
   • Nathaniel Charlton
   • Ben Horsfall

   OriginalPaper 24 December 2014 Pages: 199 - 284