Empirical software metrics for benchmarking of verification tools (bibtex)
by Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Reference:
Empirical software metrics for benchmarking of verification toolsYulia Demyanova, Thomas Pani, Helmut Veith, Florian ZulegerFormal Methods in System Design, pages 1-28, 2017.
Bibtex Entry:
@article{DPVZ17:FMSD,
  author="Demyanova, Yulia and Pani, Thomas and Veith, Helmut and Zuleger, Florian",
  title="Empirical software metrics for benchmarking of verification tools",
  journal="Formal Methods in System Design",
  year="2017",
  pages="1--28",
  issn="1572-8102",
  doi="10.1007/s10703-016-0264-5",
  url="http://dx.doi.org/10.1007/s10703-016-0264-5",
  keywords = {verifolio}
}
Powered by bibtexbrowser