Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger. Empirical software metrics for benchmarking of verification tools. Formal Methods in System Design, 50(2-3):289-316, 2017. [doi]
@article{DemyanovaPVZ17,
title = {Empirical software metrics for benchmarking of verification tools},
author = {Yulia Demyanova and Thomas Pani and Helmut Veith and Florian Zuleger},
year = {2017},
doi = {10.1007/s10703-016-0264-5},
url = {http://dx.doi.org/10.1007/s10703-016-0264-5},
researchr = {https://researchr.org/publication/DemyanovaPVZ17},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {50},
number = {2-3},
pages = {289-316},
}