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

바구니

검색간략리스트

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