Accueil l Actualités B l La Méthode B l
Travaux R&D l Preuve
Formelle l Publications l Conférences
B, les différents langages l Projets Open Source l Outils B l Documents l B Tools Forum l Liens l Contact 
Conférence de Nantes du 16 juin 2008
La Méthode B, de la Recherche à l'Enseignement
Le colloque "the B method: from Research to Teaching" s'est déroulé à Nantes le 16 juin 2008, à l'occasion des journées scientifiques de l'Université de Nantes.
Ce colloque a rassemblé une trentaine de personnes, de France, Allemagne, Suisse, Angleterre, Hongrie et Japon. Différents travaux sur B, le B événementiel et les outils associés ont été présentés au cours de cet événement.
Aperçu de la Conférence...
|
|
|
|
