Сотрудник подразделения

Публикации

  1. 1Корнеев Г.А., Малаховски Я.М. Валидация автоматов с переменными на функциональных языках программирования // Научно-технический вестник СПбГУ ИТМО - 2010. - № 06(70). - С. 73-77 Валидация автоматов с переменными на функциональных языках программирования