TY  - RPRT
TI  - A Theorem Prover for Quantum Hoare Logic and Its Applications
AU  - Tao Liu
AU  - Yangjia Li
AU  - Shuling Wang
AU  - Mingsheng Ying
AU  - Naijun Zhan
PY  - 2016
UR  - https://arxiv.org/abs/1601.03835
ID  - 1601.03835
ER  -