Лобанов, Дмитрий. Модели для исследования и выбора системы контроля корректности программного обеспечения: выпускная квалификационная работа магистра: направление 27.04.03 «Системный анализ и управление» ; образовательная программа 27.04.03_01 «Теория и математические методы системного анализа и управления в технических и экономических системах» = Models for research and selection of software correctness control systems / Д. Лобанов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий; научный руководитель В. Н. Волкова; консультант по нормоконтролю В. Е. Магер. — Санкт-Петербург, 2021. — 1 файл (1,9 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/vr21-1263.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1263-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1263-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1263-a.pdf>. — DOI 10.18720/SPBPU/3/2021/vr/vr21-1263. — Текст