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]
Abstract is missing.