基于并行计算和数据复用的快速静态安全校核技术
기우병행계산화수거복용적쾌속정태안전교핵기술
Fast Computing Technologies for Static Security Checking Based on Parallel Computation and Data Reuse
저자의 최근 논문