@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} }
10th International Symposium on Formal Methods for Components and Objects (FMCO 2011), State-of-the-Art Survey
Editor(s): | Bernhard Beckert, Ferruccio Damiani, Frank de Boer, and Marcello Bonsangue |
---|---|
Publisher: | Springer |
Series: | Lecture Notes in Computer Science |
Volume: | 7542 |
Year: | 2012 |