TY  - RPRT
TI  - Simple characterizations for commutativity of quantum weakest preconditions
AU  - Tianrong Lin
PY  - 2023
UR  - https://arxiv.org/abs/1108.4607
ID  - 1108.4607
ER  -