Oliveira, M.V.M. und Woodcock, J. (Hrsg.) (2009) „Formal Methods: Foundations and Applications : 12 th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers“, Programming and Software Engineering. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-10452-7.
Chicago Manual of Style 17th edition (full note)Oliveira, Marcel Vinícius Medeiros, und Jim Woodcock, Hrsg. „Formal Methods: Foundations and Applications : 12 th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-10452-7.
American Psychological Association 7th editionOliveira, M. V. M., … Woodcock, J. (Hrsg.). (ca. 2009). Formal Methods: Foundations and Applications : 12 th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-10452-7
Modern Language Association 9th editionOliveira, M. V. M., und J. Woodcock, Herausgeber. „Formal Methods: Foundations and Applications : 12 th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers“. Programming and Software Engineering, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-10452-7.
ISO-690 (author-date, Deutsch)OLIVEIRA, Marcel Vinícius Medeiros und Jim WOODCOCK (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642104527