Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004

Б3.5, Б3.1, Б2.2.

Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004Ed. by de Boer F. S., Bonsangue M. M., Graf S., De Roever W. -P..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3657.-325 p.-(Lecture Notes in Computer Science).