基于B方法的Web Service组合描述和验证方法
기우B방법적Web Service조합묘술화험증방법
Approach of Describing and Verifying Web Service Composition Using B-method
저자의 최근 논문