국내

분기기법에기반한개선된Proof-CarryingCode에 관한 연구

by IMTL posted Dec 08, 2017
?

단축키

Prev이전 문서

Next다음 문서

ESC닫기

가 크게 작게 위로 아래로 댓글로 가기 인쇄
Extra Form

 

 

논문명 : 분기기법에기반한개선된Proof-CarryingCode에 관한 연구

 

저자 : 이정은,  정태명

 

개제일 :  2000년 10월

 

논문등급 : 학술지

 

개제지 : 한국정보처리학회2000 추계학술대회

위로 아래로 댓글로 가기 인쇄

Articles

1 2 3 4 5 6 7 8 9 10