Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013

Б2.2, Б2.13, В2.11.

Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013Ed. by Liu Z., Woodcock J., Zhu H..-Berlin.: Springer, 2013.-Vol. 8050.-283 p.-(Lecture Notes in Computer Science).