Formalising a High-Performance Microkernel (2006)

by Kevin Elphinstone , Gerwin Klein , Rafal Kolanski
Venue:WORKSHOP ON VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS (VSTTE 06), MICROSOFT RESEARCH TECHNICAL REPORT MSR-TR2006-117
Citations:5 - 2 self