Лаздин Артур Вячеславович
Место работы: Университет ИТМО
Должность: доцент
Должность: доцент
Гедич А. А., Зыков А. Г., Лаздин А. В., Поляков В. И. ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске 4(57) за 2014
Статья опубликована в выпуске 4(57) за 2014
