Meyer, B., & Woodcock, J. (2008). Vol. 4171 Verified Software: Theories, Tools, Experiments: First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions. Springer Berlin Heidelberg.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Meyer, Bertrand, und Jim Woodcock. Vol. 4171 Verified Software: Theories, Tools, Experiments: First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions. Springer Berlin Heidelberg, 2008.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Meyer, Bertrand, und Jim Woodcock. Vol. 4171 Verified Software: Theories, Tools, Experiments: First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions. Springer Berlin Heidelberg, 2008.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.