@misc{indiciae7d98ed660159,
  title = {Quantum Weakest Preconditions},
  author = {Ellie D'Hondt and Prakash Panangaden},
  year = {2006},
  url = {https://arxiv.org/abs/quant-ph/0501157},
  note = {Source identifier: quant-ph/0501157}
}