User:Mathieu

From Event-B

Mathieu Clabaut (Systerel, France)

Some potentially useful information:

• Setting up and using a maintenance bot
• List of pages using the TODO template

• Event-B IDE:Needed use cases

And some notes to myself.