@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} }