Participants 
   
David Lawrence Software Modelling and Verification Group, University of Geneva, Genève, Switzerland.
Pieter Mosterman (organizer) Design Automation Department, The MathWorks, USA.

Maintained by Hans Vangheluwe. Last Modified: 2015/01/27 07:57:28.