![](/img/cover-not-exists.png)
Empirical software metrics for benchmarking of verification tools
Demyanova, Yulia, Pani, Thomas, Veith, Helmut, Zuleger, FlorianVolume:
50
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-016-0264-5
Date:
June, 2017
File:
PDF, 966 KB
english, 2017