LetychevskyiO.; PeschanenkoV.; PoltoratskyiM.; KonnovaO. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. Journal of Information Technologies in Education (ITE), n. 54, p. 37-51, 29 Dec. 2023.