Towards Classical Software Verification using Quantum Computers

Detalhes bibliográficos

Publicado no:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Autor principal:	Issel, Sebastian
Outros Autores:	Kilian Tscharke, Debus, Pascal
Publicado em:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Assuntos:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Acesso em linha:	Citation/Abstract
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!