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