基于关系数据理论的函数型程序似然不变量动态检测方法

【作者】 刘杰；

【导师】 阳小华；

【作者基本信息】 南华大学 ， 计算机应用技术， 2008， 硕士