Formal Specifications on Industrial-Strength Code
Presented as part of the
2007 HCSS conference
.
License:
Creative Commons 2.5
Manuvir Das
Other available formats:
Formal Specifications on Industrial-Strength Code
Switch to normal viewer
Switch to experimental viewer
