Publication
Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, January 2007
@inproceedings{abc, author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy Roscoe and Gernot Heiser}, booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA}, title = {Towards a practical, verified kernel}, year = {2007} }