Садырин Даниил Сергеевич

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: аспирант
E-mail: dssadyrin@corp.ifmo.ru
Scopus ID: 57211288674
ORCID: 0000-0001-5002-3639
Дергачев А. М., Садырин Д. С., Ильина А. Г., Логинов И. П., Кореньков Ю. Д.
ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ

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

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