Software Open Access
sosy-lab/benchexec: Release 3.9
Philipp Wendler;
Dirk Beyer
BibTeX Export
@software{philipp_wendler_2021_5534435,
author = {Philipp Wendler and
Dirk Beyer},
title = {sosy-lab/benchexec: Release 3.9},
month = sep,
year = 2021,
publisher = {Zenodo},
version = {3.9},
doi = {10.5281/zenodo.5534435},
url = {https://doi.org/10.5281/zenodo.5534435}
}
1,864
114
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,864 | 17 |
| Downloads | 114 | 3 |
| Data volume | 226.2 MB | 18.0 MB |
| Unique views | 1,313 | 16 |
| Unique downloads | 58 | 3 |
Indexed in
- Publication date:
- September 28, 2021
- DOI:
-
- Related identifiers:
- Documented by
- Communities:
- License (for files):
- Apache License 2.0