@Inproceedings{EPTCS287.1, author = {Amy, Matthew}, year = {2019}, title = {Towards Large-scale Functional Verification of Universal Quantum Circuits}, editor = {Selinger, Peter and Chiribella, Giulio}, booktitle = {{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic, {\rm Halifax, Canada, 3-7th June 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {287}, publisher = {Open Publishing Association}, pages = {1-21}, doi = {10.4204/EPTCS.287.1}, }