A High-Assurance Partitioned Development Environment
Presented as part of the
2003 HCSS conference
.
License:
Creative Commons 2.5
David Greve
Matthew Wilding
John Launchbury
Peter White
Other available formats:
A High-Assurance Partitioned Development Environment
Switch to normal viewer
Switch to experimental viewer
