Symbolic Execution Proofs for Higher Order Store Programs release_rfdo6zach5hd7aljr2nupluqzu

by Bernhard Reus, Nathaniel Charlton, Ben Horsfall

Published in Journal of automated reasoning by Springer Nature.

2014   Volume 54, p199-284

Archived Files and Locations

application/pdf  1.0 MB
file_7xt5cybuyvbyhpeiszx27uv7ia
sro.sussex.ac.uk (web)
web.archive.org (webarchive)
application/pdf  821.6 kB
file_t762fkldnbhrdnehyvqxjnjiru
sro.sussex.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2014-12-24
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0168-7433
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 44f19ccd-8e4f-4599-9e12-4ff49e219e9a
API URL: JSON