Towards Classical Software Verification using Quantum Computers

Bibliographische Detailangaben

Veröffentlicht in:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2025), p. 598-605
1. Verfasser:	Issel, Sebastian
Weitere Verfasser:	Kilian Tscharke, Debus, Pascal
Veröffentlicht:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Algorithms Quantum computing Program verification (computers) Errors Quantum computers Software Polynomials Optimization Economic
Online-Zugang:	Citation/Abstract
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!