Proving Separation for a Working Microkernel Implementation
Presented as part of the
2006 HCSS conference
.
License:
Creative Commons 2.5
Andrew Tolmach
John Matthews
Other available formats:
Proving Separation for a Working Microkernel Implementation
Switch to normal viewer
Switch to experimental viewer
