DMCA

École Doctorale STIC Sciences et Technologies de l’Information et de la Communication Formal Models for Programming and Composing Correct Distributed Systems

by Habilitation À Diriger , Les Recherches , Spécialité Informatique , Ludovic Henrio , Président Jury , Pr. Michel , Riveill Université , Nice-sophia-antipolis Is