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