Исследовательская группа

Лаборатория языковых инструментов

Зимняя школа по абстрактной интерпретации

2-6 февраля 2015 г.

566389798f5ce.JPG

Ведущий специалист: Ян Мидтгор, Технический Университет Дании, Копенгаген, Дания.

Описание школы — на англоязычной версии этой страницы.

Дополнительно