Qi Qiu
PhD student (access thesis page)
| Team(s) | DRIM |
| Institution | Université Claude Bernard Lyon 1 |
| Location | Nautibus (Université Lyon1) |
| qi.qiu at liris.cnrs.fr | |
| Thesis | Formal proof for distributed computing: towards more automation (click to view details) |