Verification of Quantum Computation: An Overview of Existing Approaches

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi
January 0001
DOI HAL
Publication
Verification of Quantum Computation: An Overview of Existing Approaches