Yamine Ait Ameur

No bio available. Add one in Open Library.

Books by Yamine Ait Ameur (50 max)

+ shelf+ list

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2014

Yamine Ait Ameur, Klaus-Dieter Schewe

+ shelf+ list

ABZ 2014 : the Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

2014

Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe