00676na  a2200181   4500001001300000005001500013008004100028024002700069035002700096100001400123370004800137372004500185372005300230374005700283377001400340670010500354670003500459KAC2022D897820221118153719221118 b aznnnaabn          fa aaa      7 a00000005095900832isni  a(KISTI)ADPER00001570371 a김선태  c한국(국명)[韓國]0KSH20000101452nlsh  a컴퓨터[computer]0KSH19980009202nlsh  a정보 기술[情報技術]0KSH20000237292nlsh  a연구원(연구자)[硏究員]0KSH19980377142nlsh  l한국어  a자바 프로그램 검증을 위한 중간 표현 언어 설계 및 구현, (인하대학교), 2013  aKISTIuhttps://www.kisti.re.kr