BibTeX Export for Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Copy to Clipboard Download

@Article{beyer_et_al:DagRep.4.4.1,
  author =	{Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary},
  title =	{{Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)}},
  pages =	{1--19},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.1},
  URN =		{urn:nbn:de:0030-drops-46157},
  doi =		{10.4230/DagRep.4.4.1},
  annote =	{Keywords: Formal Verification, Deductive Verification, Automatic Verification, Theorem Proving, Model Checking, Program Analysis, Competition, Comparative Eval}
}

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode