SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언의 제약 조건과 변환 방법
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김진섭 | ko |
| dc.contributor.author | 차성덕 | ko |
| dc.date.accessioned | 2013-03-03T23:16:26Z | - |
| dc.date.available | 2013-03-03T23:16:26Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 2003-06 | - |
| dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.30, no.6, pp.587 - 597 | - |
| dc.identifier.issn | 1229-6848 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/80877 | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언의 제약 조건과 변환 방법 | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 30 | - |
| dc.citation.issue | 6 | - |
| dc.citation.beginningpage | 587 | - |
| dc.citation.endingpage | 597 | - |
| dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
| dc.contributor.nonIdAuthor | 김진섭 | - |
- Appears in Collection
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.