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