“AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL”. Journal of Information Technologies in Education (ITE), no. 54 (December 29, 2023): 37–51. Accessed August 28, 2026. https://ite.kspu.edu/index.php/ite/article/view/868.