Towards Classical Software Verification using Quantum Computers
| Title: | Towards Classical Software Verification using Quantum Computers |
|---|---|
| Authors: | Issel, Sebastian; Tscharke, Kilian; Debus, Pascal |
| Source: | 2025 International Conference on Quantum Communications, Networking, and Computing (QCNC) QCNC Quantum Communications, Networking, and Computing (QCNC), 2025 International Conference on. :598-605 Mar, 2025 |
| Relation: | 2025 International Conference on Quantum Communications, Networking, and Computing (QCNC) |
| Database: | IEEE Xplore Digital Library |