TY  - BOOK
AU  - BHIMSEN K JOSHI
TI  - C-Code Verification Automation Tool
PY  - 2004///-2005
KW  - M.Tech Computer Science
KW  - C-Code
KW  - Verification
KW  - Automation
KW  - Tool
N2  - INTERNAL GUIDE   : Shantakumar Patil  . EXTERNAL GUIDE: Vijay Kanvilkar  USN No                   : 1MJ02SCS02  CARRIED OUT AT   : IT Corporates Bangalore-560 068  ACC NO                  : PC25
ER  -