20140927-12-Rodin — платформа для разработки и верификации моделей на Event-B

Name: 20140927-12-Rodin — платформа для разработки и верификации моделей на Event-B
Uploaded: 2014-09-17T21:31:04+00:00
Duration: 24 min 21 s
Channel: Stanislav Fomin
Description: http://0x1.tv/20140927-12 Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014)

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