@misc{indiciae2cb3e9114003,
  title = {Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects},
  author = {Noam Zilberstein and Angelina Saliling and Alexandra Silva},
  year = {2024},
  doi = {10.1145/3649821},
  url = {https://arxiv.org/abs/2305.04842},
  note = {Source identifier: 2305.04842}
}