Letychevskyi, O.; Peschanenko, V. .; Poltoratskyi, M. .; Konnova, O. N LGEBRAIC PPROACH O HE ERIFICATION F MART ONTRACTS N EAL. ITE 2023, 37-51.