Knowledge Tree

researcher / Hernán Vanzetto

Hernán Vanzetto

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+