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

Autoren
Editoren Michael Butler
Klaus-Dieter Schewe
Atif Mashkoor
Miklós Biró
TitelAbstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016
TypKonferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band9675
ISBN978-3-319-33599-5
DOI10.1007/978-3-319-33600-8
MonatMay
Jahr2016
SCCH ID#1650