Cita APA (7a ed.)
Radhia Cousot. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Radhia Cousot. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Radhia Cousot. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.