자료유형  

 기사

ISSN  

12296848

저자명  

김진섭

서명/저자  

SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언어의 제약 조건과 변환 방법 / 김진섭 , 차성덕 공저

발행사항  

서울 : 한국정보과학회, 2003.

형태사항  

pp. 587-597

주기사항  

권말 참고문헌 수록

기타저자  

차성덕

기본자료저록  

정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App : 제30권 제5,6호 (2003년 6월) 2003, 06

원문정보  

 url

모체레코드  

모체정보확인

Control Number  

kjul:60221975