Knowledge Tree

researcher / Sylvie Putot

Sylvie Putot

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Analyse statique de programmes numériques : ensembles affinés contraints