Giachino, E., Hähnle, R., de Boer, F. S., & Bonsangue, M. M. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (1st ed. 2013.). Springer Berlin Heidelberg.
Style de citation Chicago (17e éd.)Giachino, Elena, Reiner Hähnle, Frank S. de Boer, et Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg.
Style de citation MLA (8e éd.)Giachino, Elena, et al. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. 1st ed. 2013. Springer Berlin Heidelberg.