Biblio

Export 3 results:
Filters: Author is Gerwin Klein  [Clear All Filters]
2011
Klein G, Murray T, Gammie P, Sewell T, Winwood S.  2011.  Provable Security: How Feasible Is It? 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
2010
Klein G, Huuck R, Schlich B.  2010.  Welcome. 5th International Workshop on Systems Software Verification (SSV 10).
2007
Elphinstone K, Klein G, Derrin P, Heiser G.  2007.  Towards a Practical, Verified Kernel. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).