Correctness by Construction: Developing a Commercial Secure System
Presented as part of the
2002 HCSS conference
.
License:
Creative Commons 2.5
Roderick Chapman
Other available formats:
Correctness by Construction: Developing a Commercial Secure System
Switch to normal viewer
Switch to experimental viewer
