作者中包括 YANG Zhen-xing 的文章

1 不变量的程序潜在错误预测 杨振兴，刘久富，孙 琳 2010年4期 [327－331][摘要](4394)[pdf 405KB](2365) DOI: