@misc{indiciae2602a51fbb2b,
  title = {A Program Logic for Abstract (Hyper)Properties},
  author = {Paolo Baldan and Roberto Bruni and Francesco Ranzato and Diletta Rigo},
  year = {2026},
  url = {https://arxiv.org/abs/2601.20370},
  note = {Source identifier: 2601.20370}
}