TY  - BOOK
AU  - Yamine Ait Ameur, Klaus-Dieter Schewe
TI  - Abstract State Machines, Alloy, B, TLA, VDM, and Z
SN  - 9783662436523
PY  - 2014///
PB  - Springer
KW  - Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Computation by Abstract Devices
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-662-43651-6
ER  -