APA (7th ed.) Citation

Song, Y., Zhang, X., & Gong, Y. (2020). Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Hindawi Limited.

Chicago Style (17th ed.) Citation

Song, Yang, Xuzhou Zhang, and Yun-Zhan Gong. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Hindawi Limited, 2020.

MLA (8th ed.) Citation

Song, Yang, et al. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Hindawi Limited, 2020.