TY  - RPRT
TI  - Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AU  - Noam Zilberstein
AU  - Derek Dreyer
AU  - Alexandra Silva
PY  - 2023
DO  - 10.1145/3586045
UR  - https://arxiv.org/abs/2303.03111
ID  - 2303.03111
ER  -