Костицын Михаил Павлович

Место работы: Санкт-Петербургский государственный университет, Санкт-Петербург, 199034, Российская Федерация
Должность: инженер-исследователь
E-mail: michael.kosticyn@gmail.com
ORCID: 0000-0001-9982-6571
Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.
Генерация слабейших предусловий программ с динамической памятью в символьном исполнении

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

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