Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges release_7scejdlnkbagrkktnriryefvhe

by Myla Archer

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2008   p308-317

Archived Files and Locations

application/pdf  729.7 kB
file_zzvj5l5ktneljjzv3fdqbjkvr4
www.dtic.mil (repository)
web.archive.org (webarchive)
application/pdf  256.2 kB
file_q6uvm26pivbtbeaaqhtnfenyom
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2008
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ae2c6cc5-15dd-4213-8d2b-33a4221035f8
API URL: JSON