@misc{indiciaef6440b32f273,
  title = {Verifying Quantum Programs: From Quipper to QPMC},
  author = {Linda Anticoli and Carla Piazza and Leonardo Taglialegne and Paolo Zuliani},
  year = {2017},
  url = {https://arxiv.org/abs/1708.06312},
  note = {Source identifier: 1708.06312}
}