Ицыксон Владимир Михайлович Россия, Санкт-Петербург Степень кандидат технических наук Звание Доцент Область научных интересов верификация и статический анализ программ трансформация программ Место работы и должность Санкт-Петербургский политехнический университет Петра Великого — заведующий кафедрой компьютерных систем и программных технологий Адрес электронной почты vlad@icc.spbstu.ru
Ицыксон В.М. Формализм для спецификации семантики программных библиотек // Системная информатика. — 2016. — № 8. — С. 43-52
Алексюк А.О., Ицыксон В.М. Автоматизированная миграция программного кода, основанная на семантическом подходе: пилотный прототип // Системная информатика. — 2017. — № 10. — С. 67-76
