![logo-rodin](https://www.atelierb.eu/wp-content/uploads/2012/08/logo-rodin.jpg)
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…
Le workshop « Recent Innovations and Applications in B » (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week…