Afficher le plan de site
Home / actualités / Workshop RODIN, Université de Southampton, 16-17 juillet 2009
Actualités
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…