Knowledge Tree

researcher / Léon Gondelman

Léon Gondelman

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Un système de types pragmatique pour la vérification déductive des programmes