مؤتمر
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 |