接口自动机的良构性检测算法及其实现

接口自动机的良构性检测算法及其实现

李雪, 朱嘉钢

Well-formedness checking algorithm of interface automaton and its realization

LI Xue, ZHU Jiagang

计算机应用 . 2017, (2): 574 -580 . DOI: 10.11772/j.issn.1001-9081.2017.02.0574