Khan, Shahid Ali <br/><br/>
Formal Verification of the Health Code System for Quarantine Management: A Case Study in China/ 
Shahid Ali Khan,  
 - 73,p;  ill;  30,cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MS-Computer Science 
<br/><br/><label>Dewey Class. No.: </label>200