Rodin Workshop 2013
From Event-B
Revision as of 16:45, 20 December 2012 by imported>Sascha (Created page with "5th Rodin User and Developer Workshop June 10-11, 2013 Turku, Finland Organisers: Michael Butler, University of Southampton Stefan Hallerstede, Aarhus University Thierry L...")
5th Rodin User and Developer 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