提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/ijseke/ChenLW08AU-Chen、YutingAU-刘绍英AU-Wong、W.EricTI-一种检测规范和程序结构之间违反一致性的审查方法。JO-国际期刊软件。工程知识。工程师。VL-18IS-8SP-1013型EP-10422008年上半年//DO-10.1142/S0218194008003994UR-（欧元）https://doi.org/10.1142/S0218194008003994急诊室-