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) |