Стиль цитування APA (7-ме видання)
Radhia Cousot. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Radhia Cousot. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Radhia Cousot. Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.