Verimag News

Seminars

  • Tomorrow, Leo Gourdin (VERIMAG) on 12 December 2023 at 09h30 : « Formal Validation of Intra-Procedural Transformations by Defensive Symbolic Simulation » (Thesis)