Pushplata Patel. Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. Int J Comm comp Tech [Internet]. 2019 Dec. 22 [cited 2025 Nov. 21];7(2):38-41. Available from: https://ijccts.org/index.php/pub/article/view/281