Formal Methods for Quantum Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Christophe Chareton' in GoogleThis author has not been identified. Look up 'Dongho Lee' in GoogleThis author has not been identified. Look up 'Benoît Valiron' in GoogleThis author has not been identified. Look up 'Renaud Vilmart' in GoogleThis author has not been identified. Look up 'Sébastien Bardin' in GoogleThis author has not been identified. Look up 'Zhaowei Xu' in Google

runs on WebDSL