TY  - RPRT
TI  - A Deductive Verification Framework for Circuit-building Quantum Programs
AU  - Christophe Chareton
AU  - Sébastien Bardin
AU  - François Bobot
AU  - Valentin Perrelle
AU  - Benoit Valiron
PY  - 2020
DO  - 10.1007/978-3-030-72019-3_6
UR  - https://arxiv.org/abs/2003.05841
ID  - 2003.05841
ER  -