MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540884798.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B. (Hrsg.), 2008. Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISo LA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings. Communications in Computer and Information Science. https://doi.org/10.1007/978-3-540-88479-8
American Psychological Association 7th editionMargaria, T., … Steffen, B. (Hrsg.). (ca. 2008). Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISo LA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings [Cd]. In Communications in Computer and Information Science (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-88479-8
Springer - Basic (author-date)Margaria T, Steffen B (Hrsg.) (2008) Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISo LA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings. Communications in Computer and Information Science
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISo LA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings, Communications in Computer and Information Science 2008, .