TY  - RPRT
TI  - The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs
AU  - Shengyuan Yang
AU  - Charles Yuan
PY  - 2026
UR  - https://arxiv.org/abs/2607.11665
ID  - 2607.11665
ER  -