Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006

Б2.2, Б3.54.

Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006Ed. by Brim L., Haverkort B., Leucker M., Van De Pol J..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4346.-363 p.-(Lecture Notes in Computer Science).