Jianjun Zhao 0001. Static Analysis for Quantum Software Correctness and Reliability (Keynote). In Shigeru Chiba, Youyou Cong, Elisa Gonzalez Boix, editors, Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023. pages 89, ACM, 2023. [doi]
Abstract is missing.