There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.10

Philipp Wendler; Dirk Beyer


BibTeX Export

@software{philipp_wendler_2021_5720267,
  author       = {Philipp Wendler and
                  Dirk Beyer},
  title        = {sosy-lab/benchexec: Release 3.10},
  month        = nov,
  year         = 2021,
  publisher    = {Zenodo},
  version      = {3.10},
  doi          = {10.5281/zenodo.5720267},
  url          = {https://doi.org/10.5281/zenodo.5720267}
}
1,864
114
views
downloads
All versions This version
Views 1,86428
Downloads 1146
Data volume 226.2 MB36.1 MB
Unique views 1,31325
Unique downloads 586

Share

Cite as