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