ABZ 2014 : The Landing Gear Case Study
Subtitle: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science)
Publisher: Springer
Published: May 08, 2014
Format: paperback
Number of pages: 176
ISBN-13: 9783319075112
Notes: Source title: 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 ... in Computer and Information Science)