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 2025 Aug. 4];39(1-2):193-212. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2020_1-2_193