 |
 |
Doctorant
Université Paris-Saclay
Formal Testing and System Exploration
Tel : 0174854260
Fax :
Office : 67/PCRI-S
Personal web page : http://www.lri.fr/~bentakou/
Email : bentakou@lri.fr |
Research activities
- Verification
- Software Testing
- Formal Methods for Software Engineering
Ph.D. dissertations & Faculty habilitations
Ph.D - Symbolic Testing of Composite Web Services
Contracts & Grants
- WebMov
|
