Productivity for proof engineering

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

Abstract is missing.