NUST Institutions Library Catalogue

Normal view MARC view
  • Supervisor: Dr. Aimal Tariq Rextin

Supervisor: Dr. Aimal Tariq Rextin (Personal Name)

Number of records used in: 1
Preferred form: Supervisor: Dr. Aimal Tariq Rextin

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/

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.