Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

Conference Proceedings
Editor(s):Bernhard Beckert, Ferruccio Damiani, Frank de Boer, and Marcello Bonsangue
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:7542
Year: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       = {Lecture Notes in Computer Science},
  volume       = {7542},
  year         = {2012}
}