Letychevskyi, O.; Peschanenko, V. .; Poltoratskyi, M. .; Konnova, O. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE 2023, 37-51.