Statecharts的组合语义与求精
Statecharts적조합어의여구정
Compositional Semantics and Refinement of Statecharts
저자의 최근 논문