There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.6

Philipp Wendler; Dirk Beyer


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4317433", 
  "title": "sosy-lab/benchexec: Release 3.6", 
  "issued": {
    "date-parts": [
      [
        2020, 
        12, 
        11
      ]
    ]
  }, 
  "abstract": "<ul>\n\t<li>One tool-info module improved.</li>\n</ul>", 
  "author": [
    {
      "family": "Philipp Wendler"
    }, 
    {
      "family": "Dirk Beyer"
    }
  ], 
  "version": "3.6", 
  "type": "article", 
  "id": "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