Citazione Stile APA (7a Edizione)

(2005). Verification, model checking, and abstract interpretation: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

Citazione stile Chigago Style (17a edizione)

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (ed.). 2005.

Citatione MLA (9a ed.)

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (ed.). 2005.