APA (7th ed.) Citation

Amilon, J., Gurov, D., Lidström, C., Nyberg, M., Ung, G., & Wingbrant, O. (2025). AutoDeduct: A Tool for Automated Deductive Verification of C Code.

Chicago Style (17th ed.) Citation

Amilon, Jesper, Dilian Gurov, Christian Lidström, Mattias Nyberg, Gustav Ung, and Ola Wingbrant. AutoDeduct: A Tool for Automated Deductive Verification of C Code. 2025.

MLA (9th ed.) Citation

Amilon, Jesper, et al. AutoDeduct: A Tool for Automated Deductive Verification of C Code. 2025.