Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu. Formal Methods for Quantum Algorithms. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 319-422, CRC Press, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.