Rodin Workshop 2013: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Sascha No edit summary |
imported>Sascha No edit summary |
||
| Line 4: | Line 4: | ||
Turku, Finland | Turku, Finland | ||
Organisers: | Organisers: | ||
Revision as of 17:11, 20 December 2012
5th Rodin Users' and Developers' Workshop
June 10-11, 2013
Turku, Finland
Organisers:
Michael Butler, University of Southampton
Stefan Hallerstede, Aarhus University
Thierry Lecomte, ClearSy
Michael Leuschel, University of Düsseldorf
Alexander Romanovsky, Newcastle University
Laurent Voisin, Systerel
Marina Walden, Åbo Akademi University
