程序不变量检测技术
정서불변량검측기술
Detection Techniques of Program Invariants
저자의 최근 논문