@misc{indiciaeb01e1c2d5b3d,
  title = {Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)},
  author = {Junyi Liu and Li Zhou and Gilles Barthe and Mingsheng Ying},
  year = {2022},
  url = {https://arxiv.org/abs/1911.12557},
  note = {Source identifier: 1911.12557}
}