20140927-12
Материал из 0x1.tv
Версия от 21:03, 10 октября 2014;
StasFomin
(
обсуждение
|
вклад
)
(#REDIRECT
Rodin_—_платформа_для_разработки_и_верификации_моделей_на_Event-B_(Илья_Щепетков,_OSSDEVCONF-2014)
)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Страница-перенаправление
Перенаправление на:
Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)