Publications de
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
Un processus de développement Event-B pour des applications distribuées (regular paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2016), Besançon, 07/06/16-08/06/16, Université de Franche-Comté, (en ligne), juin 2016.
Accès : http://afadl2016.conf.citi-lab.fr/ – https://oatao.univ-toulouse.fr/17057/
BibTeX