Équipe Composants et logiciels sûrs Biographie Contributions de Équipe Composants et logiciels sûrs Édition scientifique The B method, from research to teaching Université de Nantes, Journées scientifiques Apcb