Towards Classical Software Verification using Quantum Computers

Podrobná bibliografie

Vydáno v:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
Hlavní autor:	Issel, Sebastian
Další autoři:	Kilian Tscharke, Debus, Pascal
Vydáno:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
On-line přístup:	Citation/Abstract
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!