TY  - RPRT
TI  - Generalised quantum weakest preconditions
AU  - Roman Gielerak
AU  - Marek Sawerwain
PY  - 2009
DO  - 10.1007/s11128-009-0151-8
UR  - https://arxiv.org/abs/0710.5239
ID  - 0710.5239
ER  -