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

Autoren
Editoren Michael Butler
Klaus-Dieter Schewe
Atif Mashkoor
Miklós Biró
Titel Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016
Typ Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 9675
ISBN 978-3-319-33599-5
DOI 10.1007/978-3-319-33600-8
Monat May
Jahr 2016
SCCH ID# 1650