Kowalewski, S. und Roveri, M. (Hrsg.) (2010) „Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings“, Programming and Software Engineering. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-15898-8.
Chicago Manual of Style 17th edition (full note)Kowalewski, Stefan, und Marco Roveri, Hrsg. „Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. https://doi.org/10.1007/978-3-642-15898-8.
American Psychological Association 7th editionKowalewski, S., … Roveri, M. (Hrsg.). (ca. 2010). Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15898-8
Modern Language Association 9th editionKowalewski, S., und M. Roveri, Herausgeber. „Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings“. Programming and Software Engineering, 1 st ed. 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-15898-8.
ISO-690 (author-date, Deutsch)KOWALEWSKI, Stefan und Marco ROVERI (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642158988