Thèse

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

Axe :
  • FormalProofs

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

    info visites 2140725