Axe :
Thèse
Benjamin Gaudin
effectue une thèse à Verimag
de novembre 2025
à octobre 2028,
sous la supervision de
Sylvain Boulme
Axe :FormalProofs
SharedResources
Pacs
Axe :
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 57026013
|
|
|