Rodin Workshop 2013

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

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