TY  - RPRT
TI  - AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
AU  - Frank Emrich
AU  - Jera Hensel
AU  - Jürgen Giesl
PY  - 2025
UR  - https://arxiv.org/abs/2302.02382
ID  - 2302.02382
ER  -