TY  - RPRT
TI  - Identifying Minimal Changes in the Zone Abstract Domain
AU  - Kenny Ballou
AU  - Elena Sherman
PY  - 2023
DO  - 10.1007/978-3-031-35257-7_13
UR  - https://arxiv.org/abs/2304.14550
ID  - 2304.14550
ER  -