Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Publisher: Springer
Published: May 08, 2018
Format: paperback
Number of pages: 446
ISBN-13: 9783319912707
Notes: Source title: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science (10817))