GROVES, Lindsay und SUN, Jing (Hrsg.). [cd]. 2013. 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642412028.
Elsevier - Harvard (with titles)Groves, L., Sun, J. (Hrsg.), 2013. Formal Methods and Software Engineering : 15 th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-41202-8
American Psychological Association 7th editionGroves, L., … Sun, J. (Hrsg.). (ca. 2013). Formal Methods and Software Engineering : 15 th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-41202-8
Springer - Basic (author-date)Groves L, Sun J (Hrsg.) (2013) Formal Methods and Software Engineering : 15 th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Groves, Lindsay/ Sun, Jing (Hrsg.), Formal Methods and Software Engineering : 15 th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, Programming and Software Engineering 2013, .