APA (7th ed.) Citation

Pirzada, M. A. A., Bhayat, A., Cordeiro, L. C., & Reger, G. (2024, October 27). LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 1395-1407. https://doi.org/10.1145/3691620.3695512

Chicago Style (17th ed.) Citation

Pirzada, Muhammad A. A., Ahmed Bhayat, Lucas C. Cordeiro, and Giles Reger. "LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 27 Oct. 2024: 1395-1407. https://doi.org/10.1145/3691620.3695512.

MLA (9th ed.) Citation

Pirzada, Muhammad A. A., et al. "LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 27 Oct. 2024, pp. 1395-1407, https://doi.org/10.1145/3691620.3695512.