Кореньков Юрий Дмитриевич

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: ассистент
E-mail: ged.yuko@gmail.com
Scopus ID: 57205163047
ORCID: : 0000-0002-8948-2776
Дергачев А. М., Садырин Д. С., Ильина А. Г., Логинов И. П., Кореньков Ю. Д.
ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ

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

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