TY  - RPRT
TI  - Formalization of Quantum Protocols using Coq
AU  - Jaap Boender
AU  - Florian Kammüller
AU  - Rajagopal Nagarajan
PY  - 2015
DO  - 10.4204/eptcs.195.6
UR  - https://arxiv.org/abs/1511.01568
ID  - 1511.01568
ER  -