Theorem Provers as High Assurance Programming Environments
Presented as part of the
2004 HCSS conference
.
License:
Creative Commons 2.5
J. Strother Moore
Other available formats:
Theorem Provers as High Assurance Programming Environments
Switch to normal viewer
Switch to experimental viewer
