MEYER, Bertrand und WOODCOCK, Jim (Hrsg.). [cd]. 2008. 1 st edition 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540691495.
Elsevier - Harvard (with titles)Meyer, B., Woodcock, J. (Hrsg.), 2008. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Programming and Software Engineering. https://doi.org/10.1007/978-3-540-69149-5
American Psychological Association 7th editionMeyer, B., … Woodcock, J. (Hrsg.). (ca. 2008). Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions [Cd]. In Programming and Software Engineering (1 st edition 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69149-5
Springer - Basic (author-date)Meyer B, Woodcock J (Hrsg.) (2008) Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Meyer, Bertrand/ Woodcock, Jim (Hrsg.), Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, Programming and Software Engineering 2008, .