Мурзин, Руслан Ильфатович. Статический анализ смарт-контрактов в технологии блокчейн [Электронный ресурс]: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_14 - Проектирование аппаратно-программных средств вычислительных систем = Static analysis of smart contracts in blockchain technology / Р. И. Мурзин; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный. — Электрон. текстовые дан. (1 файл : 1,0 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-703.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-703>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-703-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-703-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-703-a.pdf>.