. . . . "1998-07-06" . "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é"@fr . . "1997-05-16" . . . . "BUG"@fr . . . "B user group"@fr . . . . "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é"@fr . "12565729"^^ . . . "B user group"@en . "B formal method user group"@fr . "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é"@fr . "1994"^^ . .