자료유형  

 기사

ISSN  

15985164

저자명  

신모범

서명/저자  

반례를 이용한 프로그램의 오류 원인 탐지 기법 / 신모범 공저 , 방호정 , 김태효 , 차성덕

발행사항  

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

형태사항  

pp. 142-144

키워드  

반례 이용 프로그램 오류 탐지 기법

기타저자  

방호정

기타저자  

김태효

기타저자  

차성덕

기본자료저록  

학술대회 논문집 C : 제33권 제1호 (2006년 6월) 2006, 06

모체레코드  

모체정보확인

Control Number  

kjul:60087678