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