单变量区间线性不等式抽象域
단변량구간선성불등식추상역
An Abstract Domain of One-Variable Interval Linear Inequalities
저자의 최근 논문