International and industrial relations

  • Joint works with ClearSY, Systerel and J.-R. Abrial on the Event-B method and related tools.
  • Collaboration with the SCCH center headed by Prof Klaus-Dieter SCHEWE