MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642165610.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B. (Hrsg.), 2010. Leveraging Applications of Formal Methods, Verification, and Validation : 4 th International Symposium on Leveraging Applications, ISo LA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, 1 st ed. 2010. ed, Theoretical Computer Science and General Issues. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0
American Psychological Association 7th editionLeveraging Applications of Formal Methods, Verification, and Validation : 4 th International Symposium on Leveraging Applications, ISo LA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. (ca. 2010). [Cd]. In T. Margaria & B. Steffen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-16561-0
Springer - Basic (author-date)Margaria T, Steffen B (Hrsg.) (2010) Leveraging Applications of Formal Methods, Verification, and Validation : 4 th International Symposium on Leveraging Applications, ISo LA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, 1 st ed. 2010. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification, and Validation : 4 th International Symposium on Leveraging Applications, ISo LA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, 1 st ed. 2010 , Berlin, Heidelberg 2010.