Rodin Workshop 2013

From Event-B
Revision as of 16:46, 20 December 2012 by imported>Sascha
Jump to navigationJump to search

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

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Workshop_2013&oldid=8942’