Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016

Authors
Editors Michael Butler
Klaus-Dieter Schewe
Atif Mashkoor
Miklós Biró
Title Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016
Type proceedings
Publisher Springer
Series Lecture Notes in Computer Science
Volume 9675
ISBN 978-3-319-33599-5
DOI 10.1007/978-3-319-33600-8
Month May
Year 2016
SCCH ID# 1650