Correctness by Construction of High-Integrity Software
Presented as part of the
2003 HCSS conference
.
License:
Creative Commons 2.5
Roderick Chapman
Other available formats:
Correctness by Construction of High-Integrity Software
Switch to normal viewer
Switch to experimental viewer
