Verification of Quantum Computation: An Overview of Existing Approaches
Gheorghiu, Alexandru ; Kapourniotis, Theodoros ; Kashefi, Elham
Theory of computing systems, 2019-05, Vol.63 (4), p.715-808
[Periódico revisado por pares]
New York: Springer US
Texto completo disponível