@misc{indiciae04d70bc641d1,
  title = {Sufficient Incorrectness Logic: SIL and Separation SIL},
  author = {Flavio Ascari and Roberto Bruni and Roberta Gori and Francesco Logozzo},
  year = {2024},
  doi = {10.1145/3720486},
  url = {https://arxiv.org/abs/2310.18156},
  note = {Source identifier: 2310.18156}
}