Knowledge Tree

researcher / VALERIE-ANNE NICOLAS

VALERIE-ANNE NICOLAS

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Preuves de proprietes de classes de programmes par derivation systematique de jeux de test