He, J., Bartocci, E., Ničković, D., Isakovic, H., & Grosu, R. (2022). DeepSTL: From english requirements to signal temporal logic. ICSE: International Conference on Software Engineering, 610. https://doi.org/10.1145/3510003.3510171
Chicago Style (17th ed.) CitationHe, Jie, Ezio Bartocci, Dejan Ničković, Haris Isakovic, and Radu Grosu. "DeepSTL: From English Requirements to Signal Temporal Logic." ICSE: International Conference on Software Engineering 2022: 610. https://doi.org/10.1145/3510003.3510171.
MLA (9th ed.) CitationHe, Jie, et al. "DeepSTL: From English Requirements to Signal Temporal Logic." ICSE: International Conference on Software Engineering, 2022, p. 610, https://doi.org/10.1145/3510003.3510171.
Warning: These citations may not always be 100% accurate.