Towards Classical Software Verification using Quantum Computers - Issel, Sebastian (arXiv.org)