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://eccsubmit.com/index.php/ijccts/article/view/165