C cs.vu.nl Construction of a Highly Dependable Operating System (2006) [pdf] 46 points vezzy-fnord 11 years ago 18 comments
