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 by Frederic Boniol

download center

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

Frederic Boniol - 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
Enter the sum