Towards Classical Software Verification using Quantum Computers

Detalles Bibliográficos

Publicado en:	arXiv.org (Apr 29, 2024), p. n/a
Autor principal:	Issel, Sebastian
Otros Autores:	Kilian Tscharke, Debus, Pascal
Publicado:	Cornell University Library, arXiv.org
Materias:	Quantum computing Algorithms Program verification (computers) Errors Quantum computers Software Polynomials
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!