Towards Classical Software Verification using Quantum Computers

Detaylı Bibliyografya

Yayımlandı:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Yazar:	Issel, Sebastian
Diğer Yazarlar:	Kilian Tscharke, Debus, Pascal
Baskı/Yayın Bilgisi:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Konular:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Online Erişim:	Citation/Abstract
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!