Некоторые особенности теоретико-автоматных моделей смарт-контрактов в среде блокчейнтезисы доклада