Архив выступлений: 2006-2007 учебный год, осенний семестр

А. В. Инюхин (Мехмат МГУ, НИИ механики МГУ).
«Формальная модель ядра системы автоматического распараллеливания».