(2019). Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. Computer Aided Verification, 11562, . https://doi.org/10.1007/978-3-030-25543-5_12
Citace podle Chicago (17th ed.)"Formal Verification of Quantum Algorithms Using Quantum Hoare Logic." Computer Aided Verification 11562 (2019). https://doi.org/10.1007/978-3-030-25543-5_12.
Citace podle MLA (9th ed.)"Formal Verification of Quantum Algorithms Using Quantum Hoare Logic." Computer Aided Verification, vol. 11562, 2019, https://doi.org/10.1007/978-3-030-25543-5_12.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..