Consistency analysis method of software design and implementation based on control flow
ZHANG Jiaqi, MU Yongmin, ZHANG Zhihua
Journal of Computer Applications . 2020, (10): 3025 -3033 .  DOI: 10.11772/j.issn.1001-9081.2020030311