Li, S., Ding, Z., & Pan, M. (2024). Formal Modelling of Program Dependence Net for Software Model Checking. Computing and Informatics, 43(5), 1161–1184. https://doi.org/10.31577/cai_2024_5_1161