The Challenge of Verified Software
Presented as part of the
2005 HCSS conference
.
License:
Creative Commons 2.5
Natarajan Shankar
Other available formats:
The Challenge of Verified Software
Switch to normal viewer
Switch to experimental viewer
