مؤتمر
QIn: Enabling Formal Methods to Deal with Quantum Circuits
العنوان: | QIn: Enabling Formal Methods to Deal with Quantum Circuits |
---|---|
المؤلفون: | Klamroth, Jonas, Beckert, Bernhard, Scheerer, Max, Denninger, Oliver |
المصدر: | 2023 IEEE International Conference on Quantum Software (QSW) QSW Quantum Software (QSW). 2023 IEEE International Conference on. :175-185 Jul, 2023 |
Relation: | 2023 IEEE International Conference on Quantum Software (QSW) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350304794 |
---|---|
DOI: | 10.1109/QSW59989.2023.00029 |