Margaria, T. und 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. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-88479-8.
Chicago Manual of Style 17th edition (full note)Margaria, Tiziana, und Bernhard Steffen, Hrsg. „Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISo LA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings“. Cd. Communications in Computer and Information Science. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. 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
Modern Language Association 9th editionMargaria, T., und B. Steffen, Herausgeber. „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, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-88479-8.
ISO-690 (author-date, Deutsch)MARGARIA, Tiziana und Bernhard STEFFEN (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540884798