Knowledge Tree

researcher / Yon Fernández de Retana

Yon Fernández de Retana

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques