Вы здесь

Проблемы спецификации и верификации параллельных систем. Сборник научных трудов