TY  - RPRT
TI  - An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops
AU  - Christophe Chareton
AU  - Jad Issa
AU  - Romain Péchoux
PY  - 2026
UR  - https://arxiv.org/abs/2607.08548
ID  - 2607.08548
ER  -