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
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
Issel, Sebastian, Kilian Tscharke, i 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.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
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.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.