Qi Qiu
Ancien membre LIRIS depuis le : 2024-10-31
| Qualité (LIRIS) | Doctorant |
| Équipe(s) | DRIM |
| Employeur | Université Claude Bernard Lyon 1 |
| Thèse | Preuve formelle pour l’algorithmique distribuée : vers davantage d’automatisation (cliquer pour voir les détails) |