Формальная верификация смарт-контракта, управляющего цифровыми активамикурсовая работа (Специалист)