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

Conference Proceedings

Editor(s):Bernhard Beckert, Ferruccio Damiani, Frank de Boer, and Marcello Bonsangue
Publisher:Springer
Series:LNCS 7542
Year:2012

BibTeX

@Proceedings{BeckertEA2012,
  editor       = {Bernhard Beckert and Ferruccio Damiani and Frank {de Boer} and 
                  Marcello Bonsangue},
  title        = {Formal Methods for Components and Objects, 
                  10th International Symposium FMCO 2011.
                  State-of-the-Art Survey},
  publisher    = {Springer},
  series       = {LNCS 7542},
  year         = {2012}
}