Towards Classical Software Verification using Quantum Computers

Detalles Bibliográficos

Publicado en:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Autor principal:	Issel, Sebastian
Otros Autores:	Kilian Tscharke, Debus, Pascal
Publicado:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Materias:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Acceso en línea:	Citation/Abstract
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!