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