陈玉亭 刘少英 W·埃里克·王 一种检测规范和程序结构之间一致性冲突的审查方法。 1013-1042 2008 18 国际期刊软件。工程知识。工程师。 8 https://doi.org/10.1142/S0218194008003994 db/journals/ijseke/ijseke18.html#ChenLW08