Search results

From Event-B
Jump to navigationJump to search
  • * Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune'' ...n-hs: A set of libraries and tools for handling Rodin files in Haskell — ''Guillaume Dupont''
    3 KB (375 words) - 15:36, 26 May 2023
  • <p>[https://tnda.eu/en/the-team/ Guillaume Verdier], Université de Paris-Est Créteil</p>
    3 KB (373 words) - 09:13, 18 January 2024
  • * Context instantiation plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation
    4 KB (595 words) - 09:41, 29 June 2021
  • ...lable</span>|| || 1st April 2022|| [mailto:gverdier@users.sourceforge.net Guillaume Verdier] ||
    9 KB (1,244 words) - 13:52, 1 April 2022