APCB
Association de pilotage des conférences internationales sur B
L'association se propose de favoriser et de développer l'étude et la diffusion de la méthode B de spécification et de développement formel de logiciel.
Elle constitue le comité de pilotage de la série des conférences internationales appelées "La Conférence Internationale B" / "The International B Conference".
Elle se veut à vocation internationale.
Contacts
- Site web : http://www.lina.sciences.univ-nantes.fr/apcb
- Personne à contacter : Henri HABRIAS
- Email : habrias@irin.univ-nantes.fr
- Téléphone :
- Adresse postale :
LINA - Laboratoire d'Informatique Nantes Atlantique
Faculté des Sciences
2 rue de la HOUSSINIERE
44072 NANTES Cedex 02
