Thèse

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

Compilation formellement vrifie du langage Rust


Axe :
  • FormalProofs

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

    info visites 2083355