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
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!