一种改进的用于并发程序静态切片的程序依赖图
일충개진적용우병발정서정태절편적정서의뢰도
An Improved Program Dependence Graph for Static Slicing Concurrent Programs
저자의 최근 논문