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
TitelScience of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014
TypHerausgeberband
JournalScience of Computer Programming
VerlagElsevier
Band131
MonatDecember
Jahr2016
Seiten1-150
SCCH ID#16085