"Empirical Study Towards a Leading Indicator for Cost of Formal Software ..."

Daniel Matichuk et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics