From program verification to program synthesis release_bedkyxss3nd3fiho4ztus7rkk4

by Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Published in SIGPLAN notices by Association for Computing Machinery (ACM)
ISSN-L 0362-1340
Volume 45
Page(s) 313
Release Date 2010-01-17
Publisher Association for Computing Machinery (ACM)
Primary Language en (lookup)

Known Files and URLs

application/pdf  547.2 kB
sha1:395b4a65b97200978797...
web.archive.org (webarchive)
static.aminer.org (aggregator)
Read Full Text
Type  article-journal
Stage   published
Date   2010-01-17
Container Metadata
Not in DOAJ
Not in ISSN ROAD
In Keepers Registery
ISSN-L:  0362-1340
Fatcat Entry
Work Entity
grouping other versions (eg, pre-print) and variants of this release
Cite This Release
Fatcat Bits

State is "active". Revision:
649af963-5879-4b9c-8c23-03c32c6a8176
As JSON object via API