1 @article{seL4,

     2   author =  {G.~Klein and

     3                J.~Andronick and

     4                K.~Elphinstone and

     5                G.~Heiser and

     6                D.~Cock and

     7                P.~Derrin and

     8                D.~Elkaduwe and

     9                K.~Engelhardt and

    10                R.~Kolanski and

    11                M.~Norrish and

    12                T.~Sewell and

    13                H.~Tuch and

    14                S.~Winwood}, 

    15   title =        {{seL4}: {F}ormal {V}erification of an {OS} {K}ernel},

    16   journal =      {Communications of the ACM},

    17   publisher =    {ACM},

    18   year =         {2010},  

    19   pages =        {107--115},

    20   volume =       53, 

    21   number =       6

    22 }

    23 

    24