LEUE, Stefan und MERINO, Pedro (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540797074.
Elsevier - Harvard (with titles)Leue, S., Merino, P. (Hrsg.), 2008. Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-540-79707-4
American Psychological Association 7th editionLeue, S., … Merino, P. (Hrsg.). (ca. 2008). Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-79707-4
Springer - Basic (author-date)Leue S, Merino P (Hrsg.) (2008) Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Leue, Stefan/ Merino, Pedro (Hrsg.), Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, Programming and Software Engineering 2008, .