An empirical research agenda for understanding formal methods productivity Journal Articles Refereed uri icon

Overview

Authors

Time

Date/time value

  • 2015

Identity

Digital Object Identifier (DOI)

  • 10.1016/j.infsof.2014.11.005

Additional Document Info

Parent Title

  • Information and Software Technology

Volume

  • 60

Publisher

  • Elsevier