Towards Classical Software Verification using Quantum Computers

Opis bibliograficzny

Wydane w:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings vol. 10 (2025), p. 598-605
1. autor:	Issel, Sebastian
Kolejni autorzy:	Kilian Tscharke, Debus, Pascal
Wydane:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Hasła przedmiotowe:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Dostęp online:	Citation/Abstract
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!