@inproceedings{Klein_14,
    address          = {Singapore},
    author           = {Klein, Gerwin},
    booktitle        = {International Symposium on Formal Methods (FM)},
    doi              = {10.1007/978-3-319-06410-9_2},
    editor           = {{Cliff Jones, Pekka Pihlajasaari, Jun Sun}},
    keywords         = {proof engineering, sel4, isabelle/hol},
    month            = apr,
    pages            = {16--21},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7923.pdf},
    publisher        = {Springer},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7923.pdf},
    title            = {Proof Engineering Considered Essential},
    year             = {2014}
  }