Workshop RODIN, Université de Southampton, 16-17 juillet 2009

Le workshop « Recent Innovations and Applications in B » (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week…

En savoir plus sur RIAB…