Shi, W., & Wang, Z. (2025). Research on Automatic Detection of Infeasible Paths Based on Symbolic Execution and Constraint Solving. 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), Software Quality, Reliability, and Security Companion (QRS-C), 2025 25th International Conference on, QRS-C, 721. https://doi.org/10.1109/QRS-C65679.2025.00092
Παραπομπή σε μορφή Chicago (17η εκδ.)Shi, Wenhao, και Zeyu Wang. "Research on Automatic Detection of Infeasible Paths Based on Symbolic Execution and Constraint Solving." 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), Software Quality, Reliability, and Security Companion (QRS-C), 2025 25th International Conference on, QRS-C 2025: 721. https://doi.org/10.1109/QRS-C65679.2025.00092.
Παραπομπή σε μορφή MLA (9th εκδ.)Shi, Wenhao, και Zeyu Wang. "Research on Automatic Detection of Infeasible Paths Based on Symbolic Execution and Constraint Solving." 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), Software Quality, Reliability, and Security Companion (QRS-C), 2025 25th International Conference on, QRS-C, 2025, p. 721, https://doi.org/10.1109/QRS-C65679.2025.00092.