BECKERT, Bernhard und MARCHÉ, Claude (Hrsg.). [cd]. 2011. 1 st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642180705.
Elsevier - Harvard (with titles)Beckert, B., Marché, C. (Hrsg.), 2011. Formal Verification of Object-Oriented Software : International Conference, Fo Ve OOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-18070-5
American Psychological Association 7th editionBeckert, B., … Marché, C. (Hrsg.). (ca. 2011). Formal Verification of Object-Oriented Software : International Conference, Fo Ve OOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2011). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-18070-5
Springer - Basic (author-date)Beckert B, Marché C (Hrsg.) (2011) Formal Verification of Object-Oriented Software : International Conference, Fo Ve OOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Beckert, Bernhard/ Marché, Claude (Hrsg.), Formal Verification of Object-Oriented Software : International Conference, Fo Ve OOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers, Programming and Software Engineering 2011, .