통합된 버그잡는 기술들 : SLAM과 BanderaProgram Verification Techniques based on the Ensemble of Program Analysis. Model Checking and Theorem Proving : SLAM and Bandera
- Publisher
- 한국정보과학회
- Issue Date
- 2003-01
- Language
- Korean
- Citation
정보과학회지, v.21, no.1, pp.15 - 21
- ISSN
- 1229-6821
- Appears in Collection
- CS-Journal Papers(저널논문)
- 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.