TY  - RPRT
TI  - Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
AU  - Patrick Cousot
PY  - 2023
UR  - https://arxiv.org/abs/2310.15340
ID  - 2310.15340
ER  -