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 ZulegerSoftware Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, pages 67-68, 2016.
Bibtex Entry:
@inproceedings{DBLP:conf/se/DemyanovaPVZ16,
  author    = {Yulia Demyanova and
               Thomas Pani and
               Helmut Veith and
               Florian Zuleger},
  title     = {Empirical software metrics for benchmarking of verification tools},
  booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
               23.-26. Februar 2016, Wien, {\"{O}}sterreich},
  pages     = {67--68},
  year      = {2016},
  crossref  = {DBLP:conf/se/2016},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings252/article57.html}
}
Powered by bibtexbrowser