Что пишут в блогах

Подписаться

Онлайн-тренинги

Конференции

Что пишут в блогах (EN)

Разделы портала

Про инструменты

Лучшие вакансии

.
Кулямин Виктор
30.09.2008 11:12

ИСП РАН, главный архитектор линейки инструментов UniTesK. Научный сотрудник Института системного программирования РАН, кандидат физико-математических наук, лектор факультета ВМК МГУ (курсы «Методы формальной спецификации программ» и «Технологии программирования»).

Контакт: kuliamin@ispras.ru

Публикации и переводы: