APA (7th ed.) Citation

Zhang, C., Kapoor, P., Dardik, I., Cui, L., Meira-Goes, R., Garlan, D., & Kang, E. (2025, April 26). Constrained LTL Specification Learning from Examples. Proceedings / International Conference on Software Engineering, 629-641. https://doi.org/10.1109/ICSE55347.2025.00160

Chicago Style (17th ed.) Citation

Zhang, Changjian, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, and Eunsuk Kang. "Constrained LTL Specification Learning from Examples." Proceedings / International Conference on Software Engineering 26 Apr. 2025: 629-641. https://doi.org/10.1109/ICSE55347.2025.00160.

MLA (9th ed.) Citation

Zhang, Changjian, et al. "Constrained LTL Specification Learning from Examples." Proceedings / International Conference on Software Engineering, 26 Apr. 2025, pp. 629-641, https://doi.org/10.1109/ICSE55347.2025.00160.