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