Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties
Presented as part of the
2011 HCSS conference
.
License:
Creative Commons 2.5
Tim Halloran
Other available formats:
Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties
Switch to normal viewer
Switch to experimental viewer
