@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}
}