충남대학교 외국학술지지원센터

글로벌메뉴

주메뉴

이용안내
원문검색
센터소개
- 소개
- 연혁
- 운영시간
- 조직
게시판
- 이용안내
- 원문검색
- 센터소개
  - 소개
  - 연혁
  - 운영시간
  - 조직
- 게시판

검색

|Home >
원문검색>
CNU Search>
검색

탭메뉴

기본검색
가나다리스트

검색어[전방일치/ 기사제목:Special Section on the 1999 Formal Methods Conference (FM 99) - Guest Editors Introduction -- Special Issues for FM 99: The First World Congress - Is Proof More Cost-Effective Than Testing?/]

총 1건 중 1건 출력

1/1 페이지

검색간략리스트

기사제목: Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - Is Proof More Cost-Effective Than Testing?/
기사저자명: King, S
출판사: Institute of Electrical and Electronics Engineers]
발행년: 2000
자료유형: 저널기사 원문복사 신청

임시보관함보기

글로벌메뉴

주메뉴

검색

탭메뉴

검색간략리스트

하단메뉴