Formal Verification of the Health Code System for Quarantine Management: A Case Study in China - Khan, Shahid Ali; Supervisor: Dr. Aimal Tariq Rextin (Islamabad; SEECS NUST, 2024)
Keywords: MS-Computer Science