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  article-journal
Stage   published
Year   2002
DOI  10.1109/52.976937
Wikidata  Q56210212
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0740-7459
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 680304da-f09d-42bc-bde9-c00b0062051d
API URL: JSON