논문명 : 분기기법에기반한개선된Proof-CarryingCode에 관한 연구 저자 : 이정은, 정태명 개제일 : 2000년 10월 논문등급 : 학술지 개제지 : 한국정보처리학회2000 추계학술대회
논문명 : 분기기법에기반한개선된Proof-CarryingCode에 관한 연구 저자 : 이정은, 정태명 개제일 : 2000년 10월 논문등급 : 학술지 개제지 : 한국정보처리학회2000 추계학술대회