形式化的软件测试模型研究
형식화적연건측시모형연구
Software Testing Model Based on Formal Method
저자의 최근 논문