Beckert, B., Damiani, F., de Boer, F. S., & Bonsangue, M. M. Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (1st ed. 2013.). Springer Berlin Heidelberg.
Style de citation Chicago (17e éd.)Beckert, Bernhard, Ferruccio Damiani, Frank S. de Boer, et Marcello M. Bonsangue. Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg.
Style de citation MLA (8e éd.)Beckert, Bernhard, et al. Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. 1st ed. 2013. Springer Berlin Heidelberg.