Térence CLASTRES

Doctorant/Contrat Jeune Chercheur
Université d'Orléans
LMV
terence.clastres[at]univ-orleans.fr
Thèse : Preuve déductive de programmes réactifs en SaIL