CUELLAR, Jorge und MAIBAUM, Tom (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540682370.
Elsevier - Harvard (with titles)Cuellar, J., Maibaum, T. (Hrsg.), 2008. FM 2008: Formal Methods : 15 th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-540-68237-0
American Psychological Association 7th editionCuellar, J., … Maibaum, T. (Hrsg.). (ca. 2008). FM 2008: Formal Methods : 15 th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-68237-0
Springer - Basic (author-date)Cuellar J, Maibaum T (Hrsg.) (2008) FM 2008: Formal Methods : 15 th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Cuellar, Jorge/ Maibaum, Tom (Hrsg.), FM 2008: Formal Methods : 15 th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, Programming and Software Engineering 2008, .