Mathematically verified software kernels: Raising the bar for high assurance implementationsMarkdaniel pottsrene bourquinleslie andresenjune andronick[0]gerwin klein[0]gernot heiser[0]2014.Cited by: 2|Bibtex|Views26Other Links: academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceUpload PPTYour rating :0 TagsCommentsSubmit
