TY  - RPRT
TI  - Towards Classical Software Verification using Quantum Computers
AU  - Sebastian Issel
AU  - Kilian Tscharke
AU  - Pascal Debus
PY  - 2025
DO  - 10.1109/qcnc64685.2025.00099
UR  - https://arxiv.org/abs/2404.18502
ID  - 2404.18502
ER  -