ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

Shankar, N., 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. 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

Springer - Basic (author-date)

Shankar N, 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

Juristische Zitierweise (Stüber) (Deutsch)

Shankar, Natarajan/ Woodcock, Jim (Hrsg.), Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings, Programming and Software Engineering 2008, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.