APA

Cousot R., . (2005). Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer-Verlag.

Chicago

Cousot Radhia, . 2005. Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer-Verlag.

Harvard

Cousot R., . (2005). Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer-Verlag.

MLA

Cousot Radhia, . Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer-Verlag. 2005.