TY  - RPRT
TI  - Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)
AU  - Junyi Liu
AU  - Li Zhou
AU  - Gilles Barthe
AU  - Mingsheng Ying
PY  - 2022
UR  - https://arxiv.org/abs/1911.12557
ID  - 1911.12557
ER  -