"C-2PO: A Weakly Relational Pointer Domain."

Rebecca Ghidini et al. (2024)

Details and statistics

DOI: 10.5281/ZENODO.13589540

access: open

type: Data or Artifact

metadata version: 2025-06-27