Trustworthy Kernel Separation through Monads

pdf

Presented as part of the 2002 HCSS conference.

  • OGI School of Science and Engineering at OHSU
  • Academia
  • Presentation
  • HCSS '02
  • HCSS 2002
Submitted by William Martin on Mon, 02/20/2012 - 13:43