Towards Classical Software Verification using Quantum Computers

Bibliográfalaš dieđut

Publikašuvnnas:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings vol. 10 (2025), p. 598-605
Váldodahkki:	Issel, Sebastian
Eará dahkkit:	Kilian Tscharke, Debus, Pascal
Almmustuhtton:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Fáttát:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Liŋkkat:	Citation/Abstract
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!