20140927-12
Материал из 0x1.tv
Страница-перенаправление
Перенаправление на:
Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)