APA (7th ed.) Citation

Zhu, H., Jin, D., Gong, Y., Xing, Y., & Zhou, M. (2019). Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns. IEEE.

Chicago Style (17th ed.) Citation

Zhu, Honglei, Dahai Jin, Yunzhan Gong, Ying Xing, and Mingnan Zhou. Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns. IEEE, 2019.

MLA (8th ed.) Citation

Zhu, Honglei, et al. Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns. IEEE, 2019.