TY  - RPRT
TI  - Dynamic Quantum Logic for Quantum Programs
AU  - Olivier Brunet
AU  - Philippe Jorrand
PY  - 2003
UR  - https://arxiv.org/abs/quant-ph/0311143
ID  - quant-ph/0311143
ER  -