Distilling Programs for Verification

by G.W. Hamilton

Published in Electronical Notes in Theoretical Computer Science by Elsevier BV.

2007 Volume 190, p17-32

application/pdf 308.9 kB `file_25bc4ncaaredxoe7rbxyvohmgi`
application/pdf 354.5 kB `file_6vcyre73pjezjogi5pdedpqydu`	publisher-connector.core.ac.uk (web) web.archive.org (webarchive)
application/pdf 172.7 kB `file_77m5i7nvufcshlb44k4qbypeni`	web.archive.org (webarchive) core.ac.uk (web)

Preserved and Accessible

Type article-journal
Stage

published

Year 2007
Language en ^?

DOI 10.1016/j.entcs.2007.09.005

Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L: 1571-0661

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: a4522b46-9d71-49a3-9a62-2cf9bc7d5a11
API URL: JSON

Distilling Programs for Verification release_xjkpuicdjzdnnhjrfy7lm3riri