← СЕМАНТИЧЕСКИЙ АНАЛИЗ И ВЕРИФИКАЦИЯ ПРОГРАММ, ИСПОЛЬЗУЮЩИХ ПАРАЛЛЕЛЬНЫЕ КОНСТРУКЦИИ
Скачать