@misc{Fernandez_KK_12,
    address          = {Bern, Switzerland},
    author           = {Fernandez, Matthew and Klein, Gerwin and Kuz, Ihor},
    howpublished     = {Poster presented at EuroSys 2012},
    keywords         = {sel4, compcert, microkernel, formal verification},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5857.pdf},
    title            = {Microkernel Verification Down To Assembly},
    year             = {2012}
  }