Автор Садырин Даниил Сергеевич Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 5 ( сентябрь-октябрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

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

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: аспирант
E-mail: dssadyrin@corp.ifmo.ru
Scopus ID: 57211288674
ORCID: 0000-0001-5002-3639

Дергачев А. М., Садырин Д. С., Ильина А. Г., Логинов И. П., Кореньков Ю. Д.

ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ

Статья опубликована в выпуске №1, том 20, 2020

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