User:Mathieu: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m notes to myself |
imported>Mathieu mNo edit summary |
||
| Line 1: | Line 1: | ||
Mathieu Clabaut (Systerel, France) | Mathieu Clabaut ([[Systerel]], France) | ||
Some potentially useful information: | Some potentially useful information: | ||
