@inproceedings{Andronick_JKKSZZ_12,
    address          = {Zurich, Switzerland},
    author           = {Andronick, June and Jeffery, Ross and Klein, Gerwin and Kolanski, Rafal and Staples, Mark and Zhang,
                        He (Jason) and Zhu, Liming},
    booktitle        = {International Conference on Software Engineering},
    keywords         = {program verification, microkernel, sel4, software process, formal methods},
    month            = jun,
    pages            = {1002--1011},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5396.pdf},
    publisher        = {ACM},
    title            = {Large-Scale Formal Verification in Practice: A Process Perspective},
    year             = {2012}
  }