Tiancheng Jin, Jianjun Zhao. ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold. In Shaukat Ali 0001, Claudio Agostino Ardagna, Nimanthi L. Atukorala, Johanna Barzen, Carl K. Chang, Rong N. Chang, Jing Fan, Ismael Faro, Sebastian Feld, Geoffrey Fox, Zhi Jin, Frank Leymann, Florian Neukart, Salvador de la Puente, Manuel Wimmer, editors, IEEE International Conference on Quantum Software, QSW 2023, Chicago, IL, USA, July 2-8, 2023. pages 128-137, IEEE, 2023. [doi]
Abstract is missing.