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.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Meyer, Bertrand, and 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.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Meyer, Bertrand, and 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.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.