Benoît Valiron. A Formal Analysis of Quantum Algorithms. ERCIM News, 2018(112), 2018. [doi]
@article{Valiron18, title = {A Formal Analysis of Quantum Algorithms}, author = {Benoît Valiron}, year = {2018}, url = {https://ercim-news.ercim.eu/en112/special/a-formal-analysis-of-quantum-algorithms}, researchr = {https://researchr.org/publication/Valiron18}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2018}, number = {112}, }