@inproceedings{Staples_JAMKK_14,
    address          = {Turin, Italy},
    author           = {Staples, Mark and Jeffery, Ross and Andronick, June and Murray, Toby and Klein, Gerwin and Kolanski,
                        Rafal},
    booktitle        = {Empirical Software Engineering and Measurement},
    keywords         = {proof engineering, productivity, proof sizing, formal verification},
    month            = sep,
    pages            = {15},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8105.pdf},
    title            = {Productivity for Proof Engineering},
    year             = {2014}
  }