APA (7th ed.) Citation

Usman, M., Noller, Y., Pasareanu, C. S., Sun, Y., & Gopinath, D. (2021, May). NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 25-28. https://doi.org/10.1109/ICSE-Companion52605.2021.00027

Chicago Style (17th ed.) Citation

Usman, Muhammad, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, and Divya Gopinath. "NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks." 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) May. 2021: 25-28. https://doi.org/10.1109/ICSE-Companion52605.2021.00027.

MLA (9th ed.) Citation

Usman, Muhammad, et al. "NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks." 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May. 2021, pp. 25-28, https://doi.org/10.1109/ICSE-Companion52605.2021.00027.