Search results
From Event-B
Jump to navigationJump to searchCreate the page "Guillaume" on this wiki! See also the search results found.
- * 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>Guillaume Verdier, Université de Paris-Est Créteil</p>3 KB (368 words) - 12:49, 15 April 2024
- * Context instantiation plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation4 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