TY  - BOOK
AU  - BHIMSEN K JOSHI
TI  - Project Report on C Code Verification Automation Tools
PY  - 2004///-05
KW  - C Code Verification Automation Tools
KW  - Project
KW  - Report
KW  - on
KW  - C
KW  - Code
KW  - Verification
KW  - Automation
KW  - Tools
N2  - INTERNAL GUIDE: SHANTAKUMARPATIL, MVJCE  EXTERNAL GUIDE: VIJAY KANVI, LKAR SOFTWARE ENGINEER, IT CORPORATES
ER  -