形式规范语言数据求精过程的代数验证方法
형식규범어언수거구정과정적대수험증방법
Algebraic Verification Method of Data Refinement in Formal Specification Language
저자의 최근 논문