Towards Classical Software Verification using Quantum Computers

Manylion Llyfryddiaeth

Cyhoeddwyd yn:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Prif Awdur:	Issel, Sebastian
Awduron Eraill:	Kilian Tscharke, Debus, Pascal
Cyhoeddwyd:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Pynciau:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Mynediad Ar-lein:	Citation/Abstract
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!