Proving Quantum Programs Correct

Published in Proceedings of the Conference on Interative Theorem Proving (ITP), 2021

Recommended citation: Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks. "Proving Quantum Programs Correct." Proceedings of the Conference on Interative Theorem Proving (ITP). 2021. https://arxiv.org/pdf/2010.01240.pdf

To appear

Direct Link