10th International Symposium on Formal Methods for Components and Objects (FMCO 2011), State-of-the-Art Survey

@Proceedings{BeckertEA2012,
  editor       = {Bernhard Beckert and Ferruccio Damiani and Frank {de Boer} and 
                  Marcello Bonsangue},
  title        = {10th International Symposium on Formal Methods for
                  Components and Objects ({FMCO} 2011),
                  State-of-the-Art Survey},
  publisher    = {Springer},
  series       = {Lecture Notes in Computer Science},
  volume       = {7542},
  year         = {2012}
}