Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Publisher: Springer
Published: May 21, 2014
Format: paperback
Number of pages: 352
ISBN-13: 9783662436516
Notes: Source title: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science (8477))