Productivity for proof engineering Full Written Papers Refereed uri icon

Overview

Authors

  • Authorship

Time

Date/time value

  • 2014

Identity

Digital Object Identifier (DOI)

  • 10.1145/2652524.2652551

International Standard Book Number (ISBN) 13

  • 9781450327749

Additional Document Info

Parent Title

  • International Symposium on Empirical Software Engineering and Measurement

Publisher

  • publisher