Yuan Feng, Yingte Xu. Verification of Nondeterministic Quantum Programs. In Tor M. Aamodt, Natalie D. Enright Jerger, Michael M. Swift, editors, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023. pages 789-805, ACM, 2023. [doi]
Abstract is missing.