Harvey Tuch, Gerwin Klein, Gernot Heiser. OS Verification - Now!. In Proceedings of HotOS 05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA. USENIX Association, 2005. [doi]
@inproceedings{TuchKH05,
title = {OS Verification - Now!},
author = {Harvey Tuch and Gerwin Klein and Gernot Heiser},
year = {2005},
url = {http://www.usenix.org/events/hotos05/final_papers/full_papers/tuch/tuch.pdf},
researchr = {https://researchr.org/publication/TuchKH05},
cites = {0},
citedby = {0},
booktitle = {Proceedings of HotOS 05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA},
publisher = {USENIX Association},
}