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…