TY  - RPRT
TI  - Verifying Procedural Programs via Constrained Rewriting Induction
AU  - Carsten Fuhs
AU  - Cynthia Kop
AU  - Naoki Nishida
PY  - 2025
DO  - 10.1145/3060143
UR  - https://arxiv.org/abs/1409.0166
ID  - 1409.0166
ER  -