Михалёва, Мария Вадимовна. Динамический анализ корректности взаимодействия приложений и библиотек на основе спецификаций: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Dynamic analysis of the correctness of interaction between applications and libraries based on specifications / М. В. Михалёва; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий; научный руководитель В. М. Ицыксон; консультант по нормоконтролю А. Г. Новопашенный. — Санкт-Петербург, 2021. — 1 файл (1,5 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/vr21-693.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-a.pdf>. — DOI 10.18720/SPBPU/3/2021/vr/vr21-693. — Текст