基于区间线性抽象域的可靠浮点及非凸静态分析

【作者】 陈立前

【导师】 王戟;

【作者基本信息】 国防科学技术大学 , 计算机科学与技术, 2010, 博士