APA (7th ed.) Citation

Beg, A., O'Donoghue, D., & Monahan, R. (2026). Evaluating LLM-Generated ACSL Annotations for Formal Verification.

Chicago Style (17th ed.) Citation

Beg, Arshad, Diarmuid O'Donoghue, and Rosemary Monahan. Evaluating LLM-Generated ACSL Annotations for Formal Verification. 2026.

MLA (9th ed.) Citation

Beg, Arshad, et al. Evaluating LLM-Generated ACSL Annotations for Formal Verification. 2026.