BHIMSEN K JOSHI <br/><br/>
Project Report on C Code Verification Automation Tools 

 -  2004-05 
 - IV+66 PP 
<br/><br/> INTERNAL GUIDE: SHANTAKUMARPATIL, MVJCE  EXTERNAL GUIDE: VIJAY KANVI, LKAR SOFTWARE ENGINEER, IT CORPORATES 
<br/><br/><label>Subjects--Topical Terms: </label><br/>C Code Verification Automation Tools
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>Project<br/>Report<br/>on<br/>C<br/>Code<br/>Verification<br/>Automation<br/>Tools<br/>C Code Verification Automation Tools