Pushplata Patel. (2019). Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. International Journal of Communication and Computer Technologies, 7(2), 38–41. Retrieved from https://ijccts.org/index.php/pub/article/view/281