%0 Journal Article %1 journals/dagstuhl-reports/BeyerHKM14 %A Beyer, Dirk %A Huisman, Marieke %A Klebanov, Vladimir %A Monahan, Rosemary %D 2014 %J Dagstuhl Reports %K dblp %N 4 %P 1-19 %T Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports4.html#BeyerHKM14 %V 4

@article{journals/dagstuhl-reports/BeyerHKM14, added-at = {2014-12-11T00:00:00.000+0100}, author = {Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26f5494e62d6a744ca5b05172b01974fa/dblp}, ee = {http://dx.doi.org/10.4230/DagRep.4.4.1}, interhash = {15c89bd1de99e5fc202e99ff8f41d542}, intrahash = {6f5494e62d6a744ca5b05172b01974fa}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 4, pages = {1-19}, timestamp = {2016-02-02T05:44:46.000+0100}, title = {Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports4.html#BeyerHKM14}, volume = 4, year = 2014 }