Yamine Ait Ameur · 2 obras en el catálogoObrasAbstract State Machines, Alloy, B, TLA, VDM, and ZABZ 2014 : The Landing Gear Case Study