Cite Them Right 11th edition - Harvard

Shankar, N. und Woodcock, J. (Hrsg.) (2008) „Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings“, Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-87873-5.

Chicago Manual of Style 17th edition (full note)

Shankar, Natarajan, und Jim Woodcock, Hrsg. „Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-87873-5.

American Psychological Association 7th edition

Shankar, N., … Woodcock, J. (Hrsg.). (ca. 2008). Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-87873-5

Modern Language Association 9th edition

Shankar, N., und J. Woodcock, Herausgeber. „Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings“. Programming and Software Engineering, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-87873-5.

ISO-690 (author-date, Deutsch)

SHANKAR, Natarajan und Jim WOODCOCK (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540878735

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.