Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014 Toulouse, France, June 2-6, 2014 Proceedings - Ameur, Yamine (edición); Schewe, Klaus-Dieter (edición) ((Lecture Notes in Computer Science ;)