Towards Classical Software Verification using Quantum Computers

Chi tiết về thư mục

Xuất bản năm:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings vol. 10 (2025), p. 598-605
Tác giả chính:	Issel, Sebastian
Tác giả khác:	Kilian Tscharke, Debus, Pascal
Được phát hành:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Những chủ đề:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Truy cập trực tuyến:	Citation/Abstract
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!