Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Responsibility
Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.).
Publication
Switzerland : Springer, 2016.
Physical description
1 online resource (xxi, 426 pages) : illustrations
Series
Lecture notes in computer science ; 9675. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Librarian view | Catkey: 11720414