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
Citace podle Chicago (17th ed.)Pirzada, Muhammad A. A., Ahmed Bhayat, Lucas C. Cordeiro, a 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.
Citace podle MLA (9th ed.)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.