TY  - RPRT
TI  - Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
AU  - Shuanglong Kan
AU  - Anthony W. Lin
PY  - 2025
UR  - https://arxiv.org/abs/2504.07203
ID  - 2504.07203
ER  -