| 000 | 00398nam a22001217a 4500 | ||
|---|---|---|---|
| 082 | _a200 THE | ||
| 100 |
_aWAQAS AHMAD _970360 |
||
| 245 | _aTH-SOF-1159-Analysis of Validation and Verification Techniques for Safety Critical Software Systems | ||
| 260 |
_aIslamabad _bNUST College of EME _c2015 |
||
| 650 |
_aMS-CSE-13 MSTHESIS _969839 |
||
| 700 |
_aSupevison DR. USMAN QAMAR _970361 |
||
| 942 | _cCF | ||
| 999 |
_c577348 _d577348 |
||