Biblio

Export 1 results:
Filters: Author is University of New South Wales  [Clear All Filters]
2010
Ryzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G.  2010.  Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).