대구한의대학교 향산도서관

선택목록저장

검색간략리스트

저널기사
Automated Test Generation from Specifications Based on Formal Description Techniques / 진병문 최영한 김성운 / Electronics and Telecommunications Research Institute / ETRI Journal / 1998 /
항목 :