Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014

Authors
Editors Yamine Ait-Ameur
Klaus-Dieter Schewe
Title Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014
Type edited volume
Journal Science of Computer Programming
Publisher Elsevier
Volume 131
Month December
Year 2016
Pages 1-150
SCCH ID# 16085