LETYCHEVSKYI, O.; PESCHANENKO, V. .; POLTORATSKYI, M. .; KONNOVA, O. 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: 26 oct. 2024.