Roberto Giacobazzi, J. B. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
Roberto Giacobazzi, Josh Berdine. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings. Berlín, Alemania: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Roberto Giacobazzi, Josh Berdine. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Opozorilo: Ti citati niso vedno 100% točni.