Костюков Юрий Олегович

Место работы: Санкт-Петербургский государственный университет, Санкт-Петербург, 199034, Российская Федерация
Должность: аспирант
E-mail: kostyukov.yurii@gmail.com
Scopus ID: 57219623001
ORCID: 0000-0003-4607-039X,
Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.
Генерация слабейших предусловий программ с динамической памятью в символьном исполнении

Статья опубликована в выпуске №5, том 22, 2022
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика