TY  - RPRT
TI  - Proof systems for partial incorrectness logic (partial reverse Hoare logic)
AU  - Yukihiro Oda
PY  - 2025
UR  - https://arxiv.org/abs/2502.21053
ID  - 2502.21053
ER  -