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
ISBN: 9783319075129
Information Available:
Summary
Copyright held by Baker & Taylor.