DMCA

Comprehensive Formal Verification of an OS Microkernel (2014)

Cached

Download Links

by Gerwin Klein , June Andronick , Kevin Elphinstone , Toby Murray , THOMAS SEWELL, RAFAL KOLANSKI, GERNOT HEISER
Citations:10 - 3 self