Accueil > Verimag > Thèse en cours

Thèse

Alexandre Berard effectue une thèse à Verimag de septembre 2023 à août 2026, sous la supervision de Sylvain Boulme

Axe :

FormalProofs

SharedResources

Contact | Plan du site | Site réalisé avec SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5202093

UGA

CNRS

INP Grenoble