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

Publications HAL de Térence CLASTRES sous affiliation au LIFO - 1 publication

Pour une liste indépendante de l'affiliation, consulter DBLP.