Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011

Б2.2, Б3.54.

Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011Ed. by Beckert B., Domiani F., de Boer F. S., Bonsangue M. M..-Berlin.: Springer, 2013.-Vol. 7542.-356 p.-(Lecture Notes in Computer Science).