Formal Methods for Components and Objects, 10th International Symposium 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        = {Formal Methods for Components and Objects, 
                  10th International Symposium FMCO 2011.
                  State-of-the-Art Survey},
  publisher    = {Springer},
  series       = {LNCS 7542},
  year         = {2012}
}