APA (7th ed.) Citation

First, E., & Brun, Y. (2022, May). Diversity-Driven Automated Formal Verification. 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 01-13. https://doi.org/10.1145/3510003.3510138

Chicago Style (17th ed.) Citation

First, Emily, and Yuriy Brun. "Diversity-Driven Automated Formal Verification." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) May. 2022: 01-13. https://doi.org/10.1145/3510003.3510138.

MLA (9th ed.) Citation

First, Emily, and Yuriy Brun. "Diversity-Driven Automated Formal Verification." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), May. 2022, pp. 01-13, https://doi.org/10.1145/3510003.3510138.