@phdthesis{Fernandez:phd,
    address          = {Sydney, Australia},
    author           = {Fernandez, Matthew},
    keywords         = {verification, component platform, sel4, camkes},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9446.pdf},
    school           = {School of Computer Science and Engineering, UNSW, Sydney, Australia},
    title            = {Formal Verification of a Component Platform},
    type             = {{PhD} Thesis},
    year             = {2016}
  }