Gérard Berry

Chaire d'Innovation technologique Liliane Bettencourt (2007-2008)

Machines abstraites, vérification formelle et biochimie cellulaire
François Fages, INRIA - Paris - Rocquencourt (Vidéo)

 
 

Flash Player nécessaire