TY - THES DP - http://www.theses.fr/2012BOR14708 TI - Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq AU - Filou, Vincent A3 - Castéran, Pierre; Mosbah, Mohamed PY - 2012 N1 - Thèse de doctorat Informatique Bordeaux 1 2012 N1 - 2012BOR14708 UR - http://www.theses.fr/2012BOR14708/document ER -