基于串空间模型的形式化方法的扩展与应用

【作者】 赵自强

【导师】 王新庄; 范安东;

【作者基本信息】 成都理工大学 , 计算数学, 2011, 硕士