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.

TypKonferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band9675
DOI10.1007/978-3-319-33600-8
ISBN978-3-319-33599-5
Monat5
Jahr2016