TY  - RPRT
TI  - Verifying Quantum Programs: From Quipper to QPMC
AU  - Linda Anticoli
AU  - Carla Piazza
AU  - Leonardo Taglialegne
AU  - Paolo Zuliani
PY  - 2017
UR  - https://arxiv.org/abs/1708.06312
ID  - 1708.06312
ER  -