Knowledge Tree

researcher / Matthieu Carlier

Matthieu Carlier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Test automatique de propriétés dans un atelier de développement de logiciels sûrs