TY  - RPRT
TI  - Quantum Hoare Type Theory
AU  - Kartik Singhal
PY  - 2021
UR  - https://arxiv.org/abs/2012.02154
ID  - 2012.02154
ER  -