软件形式化与可视化软件模型的转换
연건형식화여가시화연건모형적전환
The Transformation between Formal and Visual Software Model
저자의 최근 논문