B user group
Biographie
Groupe de discussion (à vocation internationale) sur la méthode B de spécification et de développement formel de logiciel ; constituée au sein de l'Unité de recherche Evaluation des systèmes de transports automatisés de l'Institut national de recherche sur les transports et de leur sécurité.