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
Citace podle Chicago (17th ed.)Wang, Lei, Gui Chen, Jianan Wang, Pengchao Zhao, a 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.
Citace podle MLA (9th ed.)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.