Towards Classical Software Verification using Quantum Computers

書誌詳細

出版年:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
第一著者:	Issel, Sebastian
その他の著者:	Kilian Tscharke, Debus, Pascal
出版事項:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
主題:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
オンライン･アクセス:	Citation/Abstract
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!