Qi Qiu

Doctorant
Équipe(s) | DRIM |
Employeur | Université Claude Bernard Lyon 1 |
Implantation | Nautibus (Université Lyon1) |
Courriel | qi.qiu at liris.cnrs.fr |
Thèse
Sujet de thèse : Preuve formelle pour l’algorithmique distribuée : vers davantage d’automatisation (cliquer pour voir les détails)