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.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Meyer, Bertrand, a 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.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Meyer, Bertrand, a 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.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..