Научно-исследовательская лаборатория формального анализа

Подразделение: Лаборатория