Thèse

Daniel De Carvalho effectue une thèse à Verimag de octobre 2021 à décembre 2024, sous la supervision de David Monniaux




Axe :
  • FormalProofs

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

    info visites 1922630