TY  - RPRT
TI  - Refinement calculus of quantum programs with projective assertions
AU  - Yuan Feng
AU  - Li Zhou
AU  - Yingte Xu
PY  - 2023
UR  - https://arxiv.org/abs/2311.14215
ID  - 2311.14215
ER  -