LETYCHEVSKYI, .; PESCHANENKO, . .; POLTORATSKYI, . .; KONNOVA, . AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. Journal of Information Technologies in Education (ITE), [S. l.], n. 54, p. 37–51, 2023. DOI: 10.14308/ite000774. Disponível em: https://ite.kspu.edu/index.php/ite/article/view/868. Acesso em: 5 aug. 2026.