Spar
Abstract State Machines, Alloy, B, TLA, VDM, and Z
This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
- Undertittel
- 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- Opplag
- 1st ed. 2016
- ISBN
- 9783319335995
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.5.2016
- Antall sider
- 426
