ISO-690 (author-date, English)

CAVALCANTI, Ana und DAMS, Dennis (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642050893.

Elsevier - Harvard (with titles)

Cavalcanti, A., Dams, D. (Hrsg.), 2009. FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-05089-3

American Psychological Association 7th edition

Cavalcanti, A., … Dams, D. (Hrsg.). (ca. 2009). FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-05089-3

Springer - Basic (author-date)

Cavalcanti A, Dams D (Hrsg.) (2009) FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings. Programming and Software Engineering

Juristische Zitierweise (Stüber) (Deutsch)

Cavalcanti, Ana/ Dams, Dennis (Hrsg.), FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings, Programming and Software Engineering 2009, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.