USENIX Conference Policies
Towards a Practical, Verified Kernel
BibTeX
@inproceedings {268631,
author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Gernot Heiser},
title = {Towards a Practical, Verified Kernel},
booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
year = {2007},
address = {San Diego, CA},
url = {https://www.usenix.org/conference/hotos-xi/towards-practical-verified-kernel},
publisher = {USENIX Association},
month = may
}
author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Gernot Heiser},
title = {Towards a Practical, Verified Kernel},
booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
year = {2007},
address = {San Diego, CA},
url = {https://www.usenix.org/conference/hotos-xi/towards-practical-verified-kernel},
publisher = {USENIX Association},
month = may
}