Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger. QIn: Enabling Formal Methods to Deal with Quantum Circuits. 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 175-185, IEEE, 2023. [doi]
Abstract is missing.