Proving Quantum Programs Correct

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

Citation: Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks. "Proving Quantum Programs Correct." Proceedings of the Conference on Interactive Theorem Proving (ITP). 2021.