并行程序验证的调度策略
병행정서험증적조도책략
Parallel scheduling strategy for program verification
저자의 최근 논문