计算机应用与软件2008，Vol.25Issue(10)：85-86,106,3.
一种交互式的不变量动态发现编配工具
AN INTERACTED INSTRUMENTER FOR DYNAMICALLY DISCOVERING INVARIANT
摘要
关键词
程序不变量/动态发现/编配工具分类
信息技术与安全科学引用本文复制引用
刘杰,阳小华,罗扬,吴取劲..一种交互式的不变量动态发现编配工具[J].计算机应用与软件,2008,25(10):85-86,106,3.基金项目
湖南省自然科学基金项目(05JJ30117). （05JJ30117）
