There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.6

Philipp Wendler; Dirk Beyer


BibTeX Export

@software{philipp_wendler_2020_4317433,
  author       = {Philipp Wendler and
                  Dirk Beyer},
  title        = {sosy-lab/benchexec: Release 3.6},
  month        = dec,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {3.6},
  doi          = {10.5281/zenodo.4317433},
  url          = {https://doi.org/10.5281/zenodo.4317433}
}
1,852
114
views
downloads
All versions This version
Views 1,852489
Downloads 11411
Data volume 226.2 MB26.5 MB
Unique views 1,302463
Unique downloads 588

Share

Cite as