"MetaVal: Witness Validation via Verification (SV-COMP24)."

Marian Lingsch Rosenfeld, Martin Spiessl, Dirk Beyer (2023)

Details and statistics

DOI: 10.5281/ZENODO.10137150

access: open

type: Data or Artifact

metadata version: 2024-11-22