Knowledge Tree

researcher / Julien Tesson

Julien Tesson

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels