Publication

@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}
}