Kellogg, Martin, Shadab, Narges, Sridharan, Manu, and Ernst, Michael D. Lightweight and Modular Resource Leak Verification. Retrieved from https://par.nsf.gov/biblio/10335183. Proceedings of the 2021 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) . Web. doi:10.1145/3468264.3468576.

Kellogg, Martin, Shadab, Narges, Sridharan, Manu, & Ernst, Michael D. Lightweight and Modular Resource Leak Verification. Proceedings of the 2021 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), (). Retrieved from https://par.nsf.gov/biblio/10335183. https://doi.org/10.1145/3468264.3468576

Kellogg, Martin, Shadab, Narges, Sridharan, Manu, and Ernst, Michael D. "Lightweight and Modular Resource Leak Verification". Proceedings of the 2021 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (). Country unknown/Code not available. https://doi.org/10.1145/3468264.3468576. https://par.nsf.gov/biblio/10335183.

@article{osti_10335183,
place = {Country unknown/Code not available}, title = {Lightweight and Modular Resource Leak Verification}, url = {https://par.nsf.gov/biblio/10335183}, DOI = {10.1145/3468264.3468576}, abstractNote = {}, journal = {Proceedings of the 2021 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}, author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, }