Knowledge Tree

researcher / Séverine Maingaud

Séverine Maingaud

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références