基于Z规格说明的可复用测试用例形式化描述
기우Z규격설명적가복용측시용례형식화묘술
Formalized Description of Reusable Test Case Based on Z Specification
저자의 최근 논문