TY  - RPRT
TI  - Formal Verification of Continuous-Variable Quantum Programs
AU  - Stefanie Muroya
AU  - Thomas A. Henzinger
PY  - 2026
UR  - https://arxiv.org/abs/2607.17714
ID  - 2607.17714
ER  -