TY  - BOOK
AU  - Ahmad, Waqas
AU  - Dr. Usman Qamar
TI  - Analysis of Validation and Verification Techniques for Safety Critical Software Systems
U1  - 004 
PY  - 2015///
CY  - Islamabad
PB  - CEME - NUST
KW  - software Engineering-MS-Thesis
ER  -