Cite Them Right 11th edition - Harvard

Cousot, R. (ed.) (2005) “Verification, Model Checking, and Abstract Interpretation : 6 th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings”, Theoretical Computer Science and General Issues. 1 st ed. 2005 st ed. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/b105073.

Chicago Manual of Style 17th edition (full note)

Cousot, Radhia, ed. “Verification, Model Checking, and Abstract Interpretation : 6 th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings”. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. https://doi.org/10.1007/b105073.

American Psychological Association 7th edition

Cousot, R. (ed.). (ca. 2005). Verification, Model Checking, and Abstract Interpretation : 6 th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2005 st ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/b105073

Modern Language Association 9th edition

Cousot, R., editor. “Verification, Model Checking, and Abstract Interpretation : 6 th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings”. Theoretical Computer Science and General Issues, 1 st ed. 2005 st ed., cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/b105073.

ISO-690 (author-date, Deutsch)

COUSOT, Radhia (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540305798

Warning: These citations may not always be 100% accurate.