Towards Classical Software Verification using Quantum Computers

Bibliografische gegevens

Gepubliceerd in:	arXiv.org (Apr 29, 2024), p. n/a
Hoofdauteur:	Issel, Sebastian
Andere auteurs:	Kilian Tscharke, Debus, Pascal
Gepubliceerd in:	Cornell University Library, arXiv.org
Onderwerpen:	Quantum computing Algorithms Program verification (computers) Errors Quantum computers Software Polynomials
Online toegang:	Citation/Abstract Full text outside of ProQuest
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!