자료유형  

 기사

ISSN  

12296821

저자명  

방기석

서명/저자  

프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개 / 방기석 , 유희준, 최진영 공저

발행사항  

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

형태사항  

pp. 29-39

주기사항  

권말 참고문헌 수록

기타저자  

유희준, 최진영

기본자료저록  

정보과학회지 (Communication of the Korea Information Science Society) : 제21권 제1호 (통권 제164호)(2003년 1월) 2003, 01

원문정보  

 url

모체레코드  

모체정보확인

Control Number  

kjul:60223206