Knowledge Tree

researcher / Alain Coste

Alain Coste

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Un système pour la validation des développements de programmes : définition formelle et réalisation