基于控制流的软件设计与实现一致性分析方法

张家奇, 牟永敏, 张志华

Consistency analysis method of software design and implementation based on control flow

ZHANG Jiaqi, MU Yongmin, ZHANG Zhihua

计算机应用 . 2020, (10): 3025 -3033 . DOI: 10.11772/j.issn.1001-9081.2020030311