| 000 | 00575nam a22001697a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 038 | _aNusrat Nadeem | ||
| 082 | _a200 | ||
| 100 |
_aKhan, Shahid Ali _9125106 |
||
| 245 |
_aFormal Verification of the Health Code System for Quarantine Management: A Case Study in China/ _cShahid Ali Khan, |
||
| 264 |
_aIslamabad; _bSEECS NUST; _c2024. |
||
| 300 |
_a73,p; _bill; _c30,cm. |
||
| 650 |
_aMS-Computer Science _926780 |
||
| 700 |
_aSupervisor: Dr. Aimal Tariq Rextin _9125107 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/45364 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c610868 _d610868 |
||