Мордвинов Дмитрий Александрович

Место работы: Санкт-Петербургский государственный университет, Санкт-Петербург, 199034, Российская Федерация
Должность: доцент
Ученая степень: кандидат физико-математических наук, доцент
E-mail: mordvinov.dmitry@gmail.com
Scopus ID: 57199323753
ORCID: 0000-0002-6437-3020
Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.
Генерация слабейших предусловий программ с динамической памятью в символьном исполнении

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

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