
cover from: Google Books
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
2016
186230
isbn:9783319336008