Требуется авторизация
Материал из 0x1.tv
Вы должны представиться для изменения страниц.
Возврат к странице Файл:Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014).pdf.