APA (7th ed.) Citation

Issel, S., Tscharke, K., & Debus, P. (2024). Towards Classical Software Verification using Quantum Computers.

Chicago Style (17th ed.) Citation

Issel, Sebastian, Kilian Tscharke, and Pascal Debus. Towards Classical Software Verification Using Quantum Computers. 2024.

MLA (9th ed.) Citation

Issel, Sebastian, et al. Towards Classical Software Verification Using Quantum Computers. 2024.