LetychevskyiO.; PeschanenkoV.; PoltoratskyiM.; KonnovaO. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE 2023, 37-51.