Publié le 20/03/2009 |
Le workshop « Recent Innovations and Applications in B » (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week…
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…