Safe kernel extensions without run-time checking

Authors:
  • GNGeorge C. Necula
    George C. Necula
  • PLPeter Lee
    Peter Lee

Abstract
No abstract available