Li, Shuo, Zhijun Ding, and Meiqin Pan. 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.