Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification Full Written Papers Refereed uri icon

Overview

Authors

  • Authorship

Time

Date/time value

  • 2015

Identity

Digital Object Identifier (DOI)

  • 10.1109/ICSE.2015.85

International Standard Book Number (ISBN) 13

  • 9781479919345

Additional Document Info

Parent Title

  • 2015 IEEE ACM 37th IEEE International Conference on Software Engineering
  • 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1

Volume

  • 1

Publisher

  • IEEE