"Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis ..."

Sven Keidel et al. (2023)

Details and statistics

DOI: 10.5281/ZENODO.10418006

access: closed

type: Data or Artifact

metadata version: 2024-08-16