Issel, S., Tscharke, K., & Debus, P. (2025). Towards Classical Software Verification using Quantum Computers. The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings. https://doi.org/10.1109/QCNC64685.2025.00099
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Issel, Sebastian, Kilian Tscharke, und Pascal Debus. "Towards Classical Software Verification Using Quantum Computers."
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings 2025. https://doi.org/10.1109/QCNC64685.2025.00099.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Issel, Sebastian, et al. "Towards Classical Software Verification Using Quantum Computers."
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2025, https://doi.org/10.1109/QCNC64685.2025.00099.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.