Précédent : Actions régionales, nationales et internationales Remonter : Actions régionales, nationales et internationales Suivant : Collaboration avec la TU de
Précédent : Actions régionales, nationales et internationales
Remonter : Actions régionales, nationales et internationales
Suivant : Collaboration avec la TU de
Participant :
Jean Duprat.
Jean Duprat a collaboré avec Luc Moreau de l'Université de Southampton (Royaume Uni) sur la preuve en Coq de propriétés d'un algorithme de comptage de références.