Formal Methods for Components and Objects: Revised Selected Papers/8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 2009

Б2.2, Б3.54.

Formal Methods for Components and Objects: Revised Selected Papers/8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 2009Ed. by de Boer F. S., Bonsangue M. M., Hallerstede S., Leuschel M..-Berlin.: Springer, 2010.-Vol. 6286.-339 p.-(Lecture Notes in Computer Science).