APA (7th ed.) Citation

Hu, Z., Ma, W., Wang, Q., Jiang, L., & Li, D. (2026). Temporal Requirement Formalization Using Large Language Models. 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Software Analysis, Evolution and Reengineering (SANER), 2026 IEEE International Conference on, SANER, 842. https://doi.org/10.1109/SANER67736.2026.00099

Chicago Style (17th ed.) Citation

Hu, Zhiyuan, Wei Ma, Qiang Wang, Lingxiao Jiang, and Dongsheng Li. "Temporal Requirement Formalization Using Large Language Models." 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Software Analysis, Evolution and Reengineering (SANER), 2026 IEEE International Conference on, SANER 2026: 842. https://doi.org/10.1109/SANER67736.2026.00099.

MLA (9th ed.) Citation

Hu, Zhiyuan, et al. "Temporal Requirement Formalization Using Large Language Models." 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Software Analysis, Evolution and Reengineering (SANER), 2026 IEEE International Conference on, SANER, 2026, p. 842, https://doi.org/10.1109/SANER67736.2026.00099.