You are about to access our book library "[(Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey )] [Author: Frank S. de Boer] [Oct-2009] full version" .