Difference between revisions of "User:Mathieu"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (notes to myself)
imported>Mathieu
m
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
Mathieu Clabaut (Systerel, France)
+
Mathieu Clabaut ([[Systerel]], France)
  
 
Some potentially useful information:
 
Some potentially useful information:
  
 
* [[User:Mathieu/bot|Setting up and using a maintenance bot]]
 
* [[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]].
 
And some [[User:Mathieu/Notes|notes to myself]].

Latest revision as of 08:26, 24 February 2009

Mathieu Clabaut (Systerel, France)

Some potentially useful information:

And some notes to myself.