@article{王雷:70,
author = {[王雷]},
title = {基于图论和FSM的UML模型与代码一致性检测},
publisher = {北京邮电大学学报},
year = {2019},
journal = {北京邮电大学学报},
volume = {42},
number = {4},
eid = {70},
pages = {70-75},
keywords = {一致性检测;检测精度;图论;有限状态机;软件验证},
doi = https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2018-283
}