Productivity for proof engineering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mark Staples' in GoogleThis author has not been identified. Look up 'D. Ross Jeffery' in GoogleThis author has not been identified. Look up 'June Andronick' in GoogleThis author has not been identified. Look up 'Toby C. Murray' in GoogleThis author has not been identified. Look up 'Gerwin Klein' in GoogleThis author has not been identified. Look up 'Rafal Kolanski' in Google

runs on WebDSL