Conference Proceedings

Productivity for proof engineering

M Staples, R Jeffery, J Andronick, T Murray, G Klein, R Kolanski

Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '14 | Association for Computing Machinery | Published : 2014

Citation metrics