Difference between revisions of "Rodin Workshop 2013"
From Event-B
Jump to navigationJump to searchimported>Sascha |
imported>Sascha |
||
Line 1: | Line 1: | ||
− | + | '''4th Rodin Users' and Developers' Workshop''' | |
− | June 10-11, 2013 | + | ''June 10-11, 2013'' |
Turku, Finland | Turku, Finland | ||
− | Organisers: | + | '' |
+ | Organisers:'' | ||
Michael Butler, University of Southampton | Michael Butler, University of Southampton |
Revision as of 17:19, 20 December 2012
4th 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