20140927-12 — различия между версиями

Материал из 0x1.tv

Текущая версия на 21:03, 10 октября 2014

Перенаправление на:

Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)

Источник — «https://0x1.tv/index.php?title=20140927-12&oldid=4375»