Meyer, B. und 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. 1 st edition 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-69149-5.

Meyer, Bertrand, und Jim Woodcock, 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“. 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-69149-5.

Meyer, 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

Meyer, B., und J. Woodcock, Herausgeber. „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, 1 st edition 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-69149-5.

MEYER, Bertrand und Jim WOODCOCK (Hrsg.). [cd]. 2008. 1 st edition 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540691495