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, volume 50, number 2-3, pages 289-316, 2017.
Bibtex Entry:
@article{DBLP:journals/fmsd/DemyanovaPVZ17,
  author    = {Yulia Demyanova and
               Thomas Pani and
               Helmut Veith and
               Florian Zuleger},
  title     = {Empirical software metrics for benchmarking of verification tools},
  journal   = {Formal Methods in System Design},
  volume    = {50},
  number    = {2-3},
  pages     = {289--316},
  year      = {2017},
  url       = {http://dx.doi.org/10.1007/s10703-016-0264-5},
  doi       = {10.1007/s10703-016-0264-5},
  timestamp = {Tue, 25 Apr 2017 17:20:23 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/fmsd/DemyanovaPVZ17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords = {verifolio}
}
Powered by bibtexbrowser