Publié le 29/04/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.
RIAB – Workshop on Recent Innovations and Applications in B
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.