Xiang D, Liu G. Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. Comput. Inform. [Internet]. 2020 Feb. 29 [cited 2024 Nov. 7];39(1-2):193-212. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2020_1-2_193