Pushplata Patel. Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. International Journal of Communication and Computer Technologies [Internet]. 2019 Dec. 15 [cited 2026 Jan. 16];7(2):38-41. Available from: https://eccsubmit.com/index.php/ijccts/article/view/165