GIACHINO, Elena, HÄHNLE, Reiner, DE BOER, Frank S und BONSANGUE, Marcello M (Hrsg.). [cd]. 2013. 1 st edition 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642406157.
Elsevier - Harvard (with titles)Giachino, E., Hähnle, R., de Boer, F.S., Bonsangue, M.M. (Hrsg.), 2013. Formal Methods for Components and Objects : 11 th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-40615-7
American Psychological Association 7th editionGiachino, E., Hähnle, R., de Boer, F. S., … Bonsangue, M. M. (Hrsg.). (ca. 2013). Formal Methods for Components and Objects : 11 th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures [Cd]. In Programming and Software Engineering (1 st edition 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-40615-7
Springer - Basic (author-date)Giachino E, Hähnle R, de Boer FS, Bonsangue MM (Hrsg.) (2013) Formal Methods for Components and Objects : 11 th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Giachino, Elena/ Hähnle, Reiner/ de Boer, Frank S/ Bonsangue, Marcello M (Hrsg.), Formal Methods for Components and Objects : 11 th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures, Programming and Software Engineering 2013, .