Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain[C] SECURITY AND PRIVACY IN COMMUNICATION NETWORKS (SECURECOMM 2020), PT II 2020(336) Rahman, Mohammad Saidur Khalil, Ibrahim Bouras, Abdelaziz
