Difference between revisions of "User:Mathieu"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: Mathieu Clabaut (Systerel, France)) |
imported>Mathieu m |
||
(5 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | Mathieu Clabaut (Systerel, France) | + | Mathieu Clabaut ([[Systerel]], France) |
+ | |||
+ | Some potentially useful information: | ||
+ | |||
+ | * [[User:Mathieu/bot|Setting up and using a maintenance bot]] | ||
+ | * [[Special:Whatlinkshere/Template:TODO|List of pages using]] the [[:Template:TODO|TODO template]] | ||
+ | |||
+ | * [[User:Mathieu/Event-B IDE:Needed use cases|Event-B IDE:Needed use cases]] | ||
+ | |||
+ | And some [[User:Mathieu/Notes|notes to myself]]. |