2012

Conférence Nationale avec comité de lecture

• [BDD12] K. Berkani, D. Delahaye, C. Dubois, M. Jacquel, M. Keogh, E. Le Lay. "BCARe : un environnement pour la vérification de règles de l’Atelier B ", Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,