TY  - RPRT
TI  - symQV: Automated Symbolic Verification of Quantum Programs
AU  - Fabian Bauer-Marquart
AU  - Stefan Leue
AU  - Christian Schilling
PY  - 2022
DO  - 10.1007/978-3-031-27481-7_12
UR  - https://arxiv.org/abs/2212.02267
ID  - 2212.02267
ER  -