APA (7th ed.) Citation

Ognawala, S., Ochoa, M., Pretschner, A., & Limmer, T. (2016, September). MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 780-785. https://doi.org/10.1145/2970276.2970281

Chicago Style (17th ed.) Citation

Ognawala, Saahil, Martin Ochoa, Alexander Pretschner, and Tobias Limmer. "MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution." Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering Sep. 2016: 780-785. https://doi.org/10.1145/2970276.2970281.

MLA (9th ed.) Citation

Ognawala, Saahil, et al. "MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution." Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, Sep. 2016, pp. 780-785, https://doi.org/10.1145/2970276.2970281.