%0 Journal Article %T 程序分析的专家模型与方法学 %A 刘宗田 姜川? %J 计算机科学 %D 1996 %K 软件工程程序分析专家模型方法学 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2242479&flag=1