Knowledge Tree

researcher / Georges Gonthier

Georges Gonthier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Sémantiques et modèles d'exécution des langages réactifs synchrones : application à Esterel