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

선택목록저장

검색간략리스트

저널기사
자동 검증을 위한 Temporal Logic 프로그래밍 언어의 설계 / 한상영 최영근 / 한국정보과학회 / 정보 과학회 논문지(시스템 및 이론) / 1989 /
항목 :