Соколов, Дмитрий Сергеевич. Разработка подхода автоматического обнаружения дефектов в SMT-решателей на основе покрытия SMT-формул: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения» = Development of SMT solvers automatic defects detection approach based on SMT formulas coverage / Д. С. Соколов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель З. В. Куляшова. — Санкт-Петербург, 2024. — 1 файл (0,8 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-1906.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-1906. — Текст: электронный