@misc{vonTessin_09,
    address          = {San Diego, CA, USA},
    author           = {von Tessin, Michael},
    howpublished     = {Poster presented at the 2009<undefined>},
    keywords         = {formal verification, multiprocessor, microkernel, sel4, isabelle/hol},
    month            = jun,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/2092.pdf},
    title            = {Towards a Formally Verifiable Multiprocessor Microkernel},
    year             = {2009}
  }