Refactoring the FreeBSD Kernel with Checked C [pdf]cs.rochester.edu2 points·iamd3vil··0 commentsOpen articleSaveView on HN