Association de Pilotage des Conférences Internationales B
Vie locale
2 Chemin de la Houssinière 92208 3
44322 Nantes
Aller à
Activités
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.