Systerel: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Nicolas m added Benoit |
||
Line 7: | Line 7: | ||
* [[User:Carine|Carine Pascal]] | * [[User:Carine|Carine Pascal]] | ||
* [[User:Tommy|Thomas Muller]] | * [[User:Tommy|Thomas Muller]] | ||
* [[User:Benoit|Benoît Lucet]] | |||
and also: | and also: | ||
* [[User:Frederic|Frédéric Badeau]] | * [[User:Frederic|Frédéric Badeau]] |