FME 2002: Formal Methods - Getting IT Right: Proc./Intern. Symp. of Formal Methods Europe, Copenhagen, Denmark, July 2002

Б3.5, Б2.2.

FME 2002: Formal Methods - Getting IT Right: Proc./Intern. Symp. of Formal Methods Europe, Copenhagen, Denmark, July 2002Ed. by Erikson L. -H., Lindsay P. A..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2391.-625 p.-(Lecture Notes in Computer Science).