A Formally Correct Operating System Kernelertos.nicta.com.au1 point·vinutheraj··0 commentsOpen articleSaveView on HN