Thèse

Alban Reynaud effectue une thèse à Verimag de septembre 2022 à décembre 2025, sous la supervision de Sylvain Boulme

Axe :
  • FormalProofs

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

    info visites 1922622