WAQAS AHMAD <br/><br/>
TH-SOF-1159-Analysis of Validation and Verification Techniques for Safety Critical Software Systems 

 - Islamabad   NUST College of EME  2015 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MS-CSE-13   MSTHESIS
<br/><br/><label>Dewey Class. No.: </label>200 THE