Towards Classical Software Verification using Quantum Computers

Bibliografski detalji

Izdano u:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Glavni autor:	Issel, Sebastian
Daljnji autori:	Kilian Tscharke, Debus, Pascal
Izdano:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Teme:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Online pristup:	Citation/Abstract
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!