Towards Classical Software Verification using Quantum Computers

Dettagli Bibliografici

Pubblicato in:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Autore principale:	Issel, Sebastian
Altri autori:	Kilian Tscharke, Debus, Pascal
Pubblicazione:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Soggetti:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Accesso online:	Citation/Abstract
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!