TY  - RPRT
TI  - Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
AU  - Huiling Wu
AU  - Yuxin Deng
AU  - Ming Xu
PY  - 2025
UR  - https://arxiv.org/abs/2308.04741
ID  - 2308.04741
ER  -