BibTeX
CSL-JSON
MLA
Harvard
Correctness by construction: developing a commercial secure system
release_32cwrfcn2nf5rml3jzo5ocdu7q
by
A. Hall, R. Chapman
Published
in IEEE Software by Institute of Electrical and Electronics Engineers (IEEE).
2002 Volume 19, p18-25
Archived Files and Locations
application/pdf 180.1 kB
file_wpf2qjmo3bd3lpmhoeov3hohre
|
web.archive.org (webarchive) web.archive.org (webarchive) www.sis.pitt.edu (web) www.sis.pitt.edu (web) |
application/pdf 425.6 kB
file_glfaulbg6vey3f27jb2fnpitsm
|
gauss.ececs.uc.edu (web) web.archive.org (webarchive) |
application/pdf 179.7 kB
file_eppghdjst5eqpdzokolnpf4wpu
|
faculty.cs.nku.edu (web) web.archive.org (webarchive) |
application/pdf 164.6 kB
file_lpzm3vfveraxfijf2yrbjqafsi
|
web.archive.org (webarchive) www.sis.pitt.edu (web) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2002
article-journal
Stage
published
Year 2002
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar