Towards Classical Software Verification using Quantum Computers

Bibliografski detalji

Izdano u:	arXiv.org (Apr 29, 2024), p. n/a
Glavni autor:	Issel, Sebastian
Daljnji autori:	Kilian Tscharke, Debus, Pascal
Izdano:	Cornell University Library, arXiv.org
Teme:	Quantum computing Algorithms Program verification (computers) Errors Quantum computers Software Polynomials
Online pristup:	Citation/Abstract Full text outside of ProQuest
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!