APA (7th ed.) Citation

Chawla, G., Aman, N., Komondoor, R., Bokil, A., & Kharat, N. (2022, May). Verification of ORM-based Controllers by Summary Inference. 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2340-2351. https://doi.org/10.1145/3510003.3510148

Chicago Style (17th ed.) Citation

Chawla, Geetam, Navneet Aman, Raghavan Komondoor, Ashish Bokil, and Nilesh Kharat. "Verification of ORM-based Controllers by Summary Inference." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) May. 2022: 2340-2351. https://doi.org/10.1145/3510003.3510148.

MLA (9th ed.) Citation

Chawla, Geetam, et al. "Verification of ORM-based Controllers by Summary Inference." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), May. 2022, pp. 2340-2351, https://doi.org/10.1145/3510003.3510148.