@Inproceedings{EPTCS266.8,
  author    = {Rand, Robert and Paykin, Jennifer and Zdancewic, Steve},
  year      = {2018},
  title     = {QWIRE Practice: Formal Verification of Quantum Circuits in Coq},
  editor    = {Coecke, Bob and Kissinger, Aleks},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Quantum Physics and Logic,
               {\rm Nijmegen, The Netherlands, 3-7 July 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {266},
  publisher = {Open Publishing Association},
  pages     = {119-132},
  doi       = {10.4204/EPTCS.266.8},
}