@inproceedings{vonTessin_10,
    publisher        = {EasyChair},
    booktitle        = {6th International Verification Workshop},
    month            = jul,
    slides           = {https://trustworthy.systems/publications/nicta_slides/3849.pdf},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3849.pdf},
    year             = {2010},
    issn             = {2040-557X},
    editor           = {{Markus Aderhold, Serge Autexier and Heiko Mantel}},
    keywords         = {formal verification, multiprocessor, microkernel, virtualisation, sel4, isabelle/hol},
    title            = {Towards High-Assurance Multiprocessor Virtualisation},
    author           = {von Tessin, Michael},
    address          = {Edinburgh, UK},
    pages            = {110--125}
  }