TY  - BOOK
AU  - Khan, Shahid Ali
AU  - Supervisor: Dr. Aimal Tariq Rextin
TI  - Formal Verification of the Health Code System for Quarantine Management: A Case Study in China
U1  - 200 
PY  - 2024///
CY  - Islamabad
PB  - SEECS NUST
KW  - MS-Computer Science
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/45364
ER  -