TY  - RPRT
TI  - Verification of quantum computation: An overview of existing approaches
AU  - Alexandru Gheorghiu
AU  - Theodoros Kapourniotis
AU  - Elham Kashefi
PY  - 2018
DO  - 10.1007/s00224-018-9872-3
UR  - https://arxiv.org/abs/1709.06984
ID  - 1709.06984
ER  -