TY  - RPRT
TI  - What does it take to certify a conversion checker?
AU  - Meven Lennon-Bertrand
PY  - 2026
DO  - 10.4230/lipics.fscd.2025.27
UR  - https://arxiv.org/abs/2502.15500
ID  - 2502.15500
ER  -