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

Tagungsband

Herausgeber:Bernhard Beckert and Ferruccio Damiani and Frank de Boer and Marcello Bonsangue
Verleger:Springer
Reihe:LNCS 7542
Jahr:2012

BibTeX

@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       = {LNCS 7542},
  year         = {2012}
}