Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski. Productivity for proof engineering. In Maurizio Morisio, Tore Dybå, Marco Torchiano, editors, 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM '14, Torino, Italy, September 18-19, 2014. pages 15, ACM, 2014. [doi]
Abstract is missing.