TY  - RPRT
TI  - Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
AU  - Noam Zilberstein
AU  - Angelina Saliling
AU  - Alexandra Silva
PY  - 2024
DO  - 10.1145/3649821
UR  - https://arxiv.org/abs/2305.04842
ID  - 2305.04842
ER  -