@article{王舜_997, author = {[王舜, 杜晔, 韩臻]}, title = {基于模块化Abstract-Refine算法框架的软件模型检测方法}, publisher = {电子学报}, year = {2020}, journal = {电子学报}, volume = {48}, number = {5}, eid = {997}, pages = {997-1002}, keywords = {软件模型检测;模块化方法;抽象—精炼(Abstract-Refine);通用算法;抽象程序}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2020.05.022 }