LI, Shuo; DING, Zhijun; PAN, Meiqin. Formal Modelling of Program Dependence Net for Software Model Checking. Computing and Informatics, [S. l.], v. 43, n. 5, p. 1161–1184, 2024. DOI: 10.31577/cai_2024_5_1161. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/2024_5_1161. Acesso em: 21 jan. 2025.