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

Autoren
Editoren Yamine Ait-Ameur
Klaus-Dieter Schewe
Titel Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014
Typ Herausgeberband
Journal Science of Computer Programming
Verlag Elsevier
Band 131
Monat December
Jahr 2016
Seiten 1-150
SCCH ID# 16085