Knowledge Tree

researcher / Pierre-Olivier Ribet

Pierre-Olivier Ribet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification formelle de systèmes : contribution à la réduction de l'explosion combinatoire