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]
@incollection{CharetonLVVBX23,
title = {Formal Methods for Quantum Algorithms},
author = {Christophe Chareton and Dongho Lee and Benoît Valiron and Renaud Vilmart and Sébastien Bardin and Zhaowei Xu},
year = {2023},
doi = {10.1201/9781003090052-7},
url = {https://doi.org/10.1201/9781003090052-7},
researchr = {https://researchr.org/publication/CharetonLVVBX23},
cites = {0},
citedby = {0},
pages = {319-422},
booktitle = {Handbook of Formal Analysis and Verification in Cryptography},
editor = {Sedat Akleylek and Besik Dundua},
publisher = {CRC Press},
isbn = {978-1-003-09005-2},
}