Towards Classical Software Verification using Quantum Computers

Dades bibliogràfiques

Publicat a:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Autor principal:	Issel, Sebastian
Altres autors:	Kilian Tscharke, Debus, Pascal
Publicat:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Matèries:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Accés en línia:	Citation/Abstract
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!