APA (7th ed.) Citation

Wang, L., Chen, G., Wang, J., Zhao, P., & Zhang, Q. (2009, September). CodeAuditor: A Vulnerability Detection Framework Based on Constraint Analysis and Model Checking. 2009 International Conference on Management and Service Science, 1-4. https://doi.org/10.1109/ICMSS.2009.5304255

Chicago Style (17th ed.) Citation

Wang, Lei, Gui Chen, Jianan Wang, Pengchao Zhao, and Qiang Zhang. "CodeAuditor: A Vulnerability Detection Framework Based on Constraint Analysis and Model Checking." 2009 International Conference on Management and Service Science Sep. 2009: 1-4. https://doi.org/10.1109/ICMSS.2009.5304255.

MLA (9th ed.) Citation

Wang, Lei, et al. "CodeAuditor: A Vulnerability Detection Framework Based on Constraint Analysis and Model Checking." 2009 International Conference on Management and Service Science, Sep. 2009, pp. 1-4, https://doi.org/10.1109/ICMSS.2009.5304255.