基于抽象解释的非函数依赖不变量的检测方法
기우추상해석적비함수의뢰불변량적검측방법
Abstract Interpretation Based Detecting Method for Non-Functional Dependence Invariant
저자의 최근 논문