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 - PDF document
- 798.54 KB
- 60 downloads
- Download
- Printer-friendly version