DEKER- Decomposing Commodity OS Kernels for Verification

  • 1527526
  • 2017
  • SaTC Pi Meeting 2017
  • Project Slides
Submitted by Zvonimir Rakamaric on