Inferring and securing software configurations using automated reasoning

MLA

Paul Gazzillo. “Inferring and Securing Software Configurations Using Automated Reasoning.” Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Nov. 2020. EBSCOhost, https://doi.org/10.1145/3368089.3417041.

APA

Paul Gazzillo. (2020). Inferring and securing software configurations using automated reasoning. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. https://doi.org/10.1145/3368089.3417041

Chicago

Paul Gazzillo. 2020. “Inferring and Securing Software Configurations Using Automated Reasoning.” Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November. doi:10.1145/3368089.3417041.