Evènement pour le groupe Preuves d'algorithmes distribués


Date 2010-10-07  09:30-10:45
TitrePreuves formelles sur les graphes 
Résumé 
Lieusalle 381 
OrateurAllyx Fontaine 
Emailallyx.fontaine@labri.fr 



Aucun document lié à cet événement.

Retour
Retour à l'index