ABRIAL Jean-Raymond について
Marseille, FRA について
BUTLER Michael について
Univ. of Southampton, Hampshire, GBR について
HALLERSTEDE Stefan について
Heinrich-Heine-Universitaet Duesseldorf, Duesseldorf, DEU について
HOANG Thai Son について
ETH Zuerich, Zurich, CHE について
MEHTA Farhad について
Systransis Ltd, Zug, CHE について
VOISIN Laurent について
Systerel, Aix-En-Provence, FRA について
International Journal on Software Tools for Technology Transfer について
Event-B について
モデリング について
推論 について
公開 について
ツール について