DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Journal Papers(저널논문)

SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언의 제약 조건과 변환 방법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 315
  • Download : 0
Export
김진섭 / 차성덕
Publisher
한국정보과학회
Issue Date
2003-06
Language
Korean
Citation

정보과학회논문지 : 소프트웨어 및 응용, v.30, no.6, pp.587 - 597

ISSN
1229-6848
URI
http://hdl.handle.net/10203/80877
Appears in Collection
Files in This Item
There are no files associated with this item.

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0