程序正确性测试的相关技术进展
정서정학성측시적상관기술진전
THE DEVELOPMENT OF TESTING TECHNOLOGIES FOR PROGRAM VERIFICATION
저자의 최근 논문