Association de Pilotage des Conférences Internationales B

Dernière mise à jour le jeudi 1 mai 2025

Présentation

Conférences Internationales B. Organiser les conférences sur la méthode de spécification formelle de logiciels appelée méthode B. Sciences section savante. Informatique, spécifications du logiciel.

Activité(s)

Organisation de conférences

2 Chemin de la Houssinière
44000 NANTES

Coordonnées

Adresse du siège de l'association

2 Chemin de la Houssinière
44322 Nantes