@inproceedings {267171,
	author = {Leonid Ryzhyk and NICTA and University of New South Wales and John Keys and Balachandra Mirla and Arun Raghunath and Mona Vij and Gernot Heiser},
	title = {Improved Device Driver Reliability Through Verification Reuse},
	booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse},
	publisher = {USENIX Association},
	month = oct
}
