by Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Reference:
Empirical Software Metrics for Benchmarking of Verification ToolsYulia Demyanova, Thomas Pani, Helmut Veith, Florian ZulegerComputer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 561–579, July 2015.
Bibtex Entry:
@inproceedings{DBLP:conf/cav/DemyanovaPVZ15,
author = {Yulia Demyanova and
Thomas Pani and
Helmut Veith and
Florian Zuleger},
title = {Empirical Software Metrics for Benchmarking of Verification Tools},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
pages = {561--579},
month = {July},
year = {2015},
crossref = {DBLP:conf/cav/2015-1},
url = {http://dx.doi.org/10.1007/978-3-319-21690-4_39},
doi = {10.1007/978-3-319-21690-4_39},
timestamp = {Mon, 20 Jul 2015 11:27:14 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/DemyanovaPVZ15},
bibsource = {dblp computer science bibliography, http://dblp.org},
keywords = {verifolio}
}