Rodin Workshop 2013

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

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

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