Ahmad, Waqas <br/><br/>
Analysis of Validation and Verification Techniques for Safety Critical Software Systems / 
Waqas Ahmad 
 - Islamabad :  CEME - NUST,  2015. 
 - 89 p. ;  30cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>software Engineering-MS-Thesis
<br/><br/><label>Dewey Class. No.: </label>004