Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016

Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016Ed. by Butler M., Schewe K. -D., Mashkoor A., Biro M..-Berlin.: Springer, 2016.-Vol. 9675.-426 p.-(Lecture Notes in Computer Science).