TY  - RPRT
TI  - On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
AU  - Xin Sun
AU  - Xingchi Su
AU  - Xiaoning Bian
AU  - Huiwen Wu
PY  - 2024
UR  - https://arxiv.org/abs/2405.01940
ID  - 2405.01940
ER  -