APA (7th ed.) Citation

Ding, G., Li, K., Grishchenko, I., & Lie, D. (2026). RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback. Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering, 1986. https://doi.org/10.1145/3832783.3837453

Chicago Style (17th ed.) Citation

Ding, Guozhen, Kexin Li, Ilya Grishchenko, and David Lie. "RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents Using Continuous LLM Feedback." Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering 2026: 1986. https://doi.org/10.1145/3832783.3837453.

MLA (9th ed.) Citation

Ding, Guozhen, et al. "RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents Using Continuous LLM Feedback." Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering, 2026, p. 1986, https://doi.org/10.1145/3832783.3837453.