Shaukat Ali, Tao Yue. Modeling Quantum programs: challenges, initial results, and research directions. In Wolfgang Mauerer, Sebastian Feld, Claudia Linnhoff-Popien, editors, Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, APEQS@ESEC/SIGSOFT FSE 2021, Virtual Event, USA, November 13, 2020. pages 14-21, ACM, 2020. [doi]
Abstract is missing.