@misc{Klein_14_2,
    author           = {Klein, Gerwin},
    booktitle        = {AI4FM/2014 Workshop},
    keywords         = {proof engineering, sel4, isabelle/hol},
    month            = may,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8066.pdf},
    title            = {Proof Engineering Challenges for Large-Scale Verification},
    year             = {2014}
  }