"SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS)."

Dirk Beyer et al. (2018-2023)

Details and statistics

DOI: 10.5281/ZENODO.1158641

access: closed

type: Data or Artifact

metadata version: 2024-12-12