Knowledge Tree

researcher / Heytem Zitoun

Heytem Zitoun

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes