"Artifact for paper "Harnessing Heap Analysis for the Synthesis of ..."

Elvira Albert et al. (2023)

Details and statistics

DOI: 10.5281/ZENODO.10044557

access: open

type: Data or Artifact

metadata version: 2024-12-12