10:45 à 11:30
Colloque
Machines abstraites, vérification formelle et biochimie cellulaire
François Fages
10:45 à 11:30