Méthode B, méthode formelle de développement logiciel

Le site de référence sur la méthode B : retrouvez l'ensemble des projets, documentations et outils issus de travaux de recherche autour de la méthode B.