Mohamed Boukhebouze
Former LIRIS member since: 2009-11-30
| Quality | PhD student |
| Team(s) | SOC |
| Institution | Institut National des Sciences Appliquées de Lyon |
| Thesis | ormal verification process specification: construction a development environment of reliable process (click to view details) |