Speaker : Xavier Urbain, ENSIIE

Title : Un cadre pour la preuve formelle adapté aux réseaux de robots mobiles.