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

바구니

검색간략리스트

1.
저널기사
모델체커를 검증하기 위한 모델체커 / 어현준 NikolayVShilov 이광근 / 한국정보과학회 / 학술발표논문집(한국정보과학회) / 2001 /