B user group

Création :10-1994
Adresse :C/o INRETS-ESTAS, 20 rue Elisée-Reclus, 59650 Villeneuve-d'Ascq.
Note :
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é
Autres formes du nom :B formal method user group
BUG

Ses activités

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Voir aussi

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • 1st Conference on the B method, 1996

Autres formes du nom

  • B formal method user group
  • BUG

Pages équivalentes