Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification

Autor:	Daniel Matichuk, Toby Murray, June Andronick, Ross Jeffery, Gerwin Klein, Mark Staples
Rok vydání:	2015
Zdroj:	2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
DOI:	10.1109/icse.2015.85
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c0e431450caa664257e5f01f89b13227 https://doi.org/10.1109/icse.2015.85 Zobrazit plný text záznamu