Научная
деятельность
Университет ИТМО

Меню

Публикации

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