BHIMSEN K JOSHI <br/><br/>
C-Code Verification Automation Tool 

 -  2004-2005 
 - 66PP 
<br/><br/> INTERNAL GUIDE   : Shantakumar Patil  . EXTERNAL GUIDE: Vijay Kanvilkar  USN No                   : 1MJ02SCS02  CARRIED OUT AT   : IT Corporates Bangalore-560 068  ACC NO                  : PC25   
<br/><br/><label>Subjects--Topical Terms: </label><br/>M.Tech Computer Science
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>C-Code<br/>Verification<br/>Automation<br/>Tool<br/>M.Tech Computer Science