@book{610868,
	author = {Khan, Shahid Ali and Supervisor: Dr. Aimal Tariq Rextin},
	title = {Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/},
	publisher = {SEECS NUST;},
	year = {2024.},
	address = {Islamabad;},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/45364}
}