Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010

А3.54, Б2.2.

Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010Ed. by Aichernig B. K., de Boer F. S., Bonsangue M. M..-Berlin.: Springer, 2011.-Vol. 6957.-393 p.-(Lecture Notes in Computer Science).