Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Publisher: Springer
Published: May 11, 2016
Format: paperback
Number of pages: 447
ISBN-13: 9783319335995
Notes: Source title: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science (9675))