形式化 B 描述测试序列自动生成研究
형식화 B 묘술측시서렬자동생성연구
저자의 최근 논문