Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell
Presented as part of the
2003 HCSS conference
.
License:
Creative Commons 2.5
Mark Jones
James Hook
Thomas Hallgren
Other available formats:
Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell
Switch to normal viewer
Switch to experimental viewer
