PhD

Daniel De Carvalho is preparing a PhD thesis in Verimag from October 2021 to December 2024, under the supervision of David Monniaux

Compilation formellement vrifie du langage Rust


Related Lab Topic :
  • FormalProofs

  • Contact | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]

    info visites 2086539