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

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