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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita Chicago Style (17a ed.)
Meyer, Bertrand, y 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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Meyer, Bertrand, y 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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.