Z语言与软件体系结构风格的形式化
Z어언여연건체계결구풍격적형식화
Z Language and Formalization of Software Architecture Style
저자의 최근 논문