Towards Classical Software Verification using Quantum Computers

Xehetasun bibliografikoak

Argitaratua izan da:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Egile nagusia:	Issel, Sebastian
Beste egile batzuk:	Kilian Tscharke, Debus, Pascal
Argitaratua:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Gaiak:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Sarrera elektronikoa:	Citation/Abstract
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!