Normal view
MARC view
- Supervisor: Dr. Aimal Tariq Rextin
Supervisor: Dr. Aimal Tariq Rextin (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Khan, Shahid Ali 125106, Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/
