USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Towards a Practical, Verified Kernel
Submitted by Anonymous (not verified) on February 10, 2021 - 12:30 am
Title | Towards a Practical, Verified Kernel |
Publication Type | Conference Paper |
Year of Publication | 2007 |
Authors | Elphinstone K, Klein G, Derrin P, Heiser G |
Conference Name | 11th Workshop on Hot Topics in Operating Systems (HotOS XI) |
Date Published | 05/2007 |
Publisher | USENIX Association |
Conference Location | San Diego, CA |
URL | https://www.usenix.org/conference/hotos-xi/towards-practical-verified-kernel |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX