BECKERT, Bernhard, DAMIANI, Ferruccio und GUROV, Dilian (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642317620.
Elsevier - Harvard (with titles)Beckert, B., Damiani, F., Gurov, D. (Hrsg.), 2012. Formal Verification of Object-Oriented Software : International Conference, Fo Ve OO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-31762-0
American Psychological Association 7th editionBeckert, B., Damiani, F., … Gurov, D. (Hrsg.). (ca. 2012). Formal Verification of Object-Oriented Software : International Conference, Fo Ve OO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-31762-0
Springer - Basic (author-date)Beckert B, Damiani F, Gurov D (Hrsg.) (2012) Formal Verification of Object-Oriented Software : International Conference, Fo Ve OO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Beckert, Bernhard/ Damiani, Ferruccio/ Gurov, Dilian (Hrsg.), Formal Verification of Object-Oriented Software : International Conference, Fo Ve OO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers, Programming and Software Engineering 2012, .